[isabelle] new AFP development entry

The AFP development version has a new entry:

Partial Order Reduction
by Julian Brunner

  This entry provides a formalization of the abstract theory of ample
  set partial order reduction. The formalization includes transition
  systems with actions, trace theory, as well as basics on finite,
  infinite, and lazy sequences. We also provide a basic framework for
  static analysis on concurrent systems with respect to the ample set

Since the next Isabelle release is not too far off, this entry should become available on the usual AFP front page in 1-2 months.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.