DIMACS Workshop on Partial Order Methods in Verification (POMIV)
July 24 - 26, 1996
Princeton University, Princeton, NJ
Presented under the auspices of the DIMACS Special Year on Logic and Algorithms.
- Doron Peled, AT&T Labs, email@example.com
- Gerard Holzmann, AT&T Labs, firstname.lastname@example.org
- Vaughan Pratt, Stanford University, email@example.com
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
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
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
Contacting the Center
Document last modified on August 24, 1998.