[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
  condition.


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.

Enjoy!
Gerwin



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