Research in the last few decades on the connection between partial order
semantics and interleaving semantics has resulted in a class of new
verification techniques for distributed systems that may prove themselves to
be of great practical value in routine industrial applications of formal
verification techniques.
Much of the new work in this area is being pursued by people from quite
distinct fields, who rarely have an opportunity to meet and exchange ideas
directly. These groups include, for instance, verification tool builders,
logicians, semantic researchers, and process algebra specialists.
This workshop aims to bring the people from these different disciplines
together. The discussion at the workshop will be focused on the following
three main topics:
Experience with the application of verification methods and
tools based on partial order semantics and partial order
reduction techniques.
Formal description techniques, logics and algebras, based
on partial orders.
Formal specification methods where partial order semantics
are more natural than interleaving semantics.
Next: Call for Participation
Index
DIMACS Homepage