Workshop on Partial Order Methods in Verification
Final rept. 15 Apr-30 Aug 96
RUTGERS - THE STATE UNIV PISCATAWAY NJ
Pagination or Media Count:
This report consists of the written papers presented at POMIV, the Workshop on Partial Order Methods in Verification held at Princeton July 24-26. POMIV is one of the workshops participating in the DIMACS Special Year in Logic, 1995-1996, and also immediately preceded the Federated Logic Conference FLoC held at Rutgers July 27-August 3. The theme of the workshop was the transition from the traditional interleaving model of concurrent computation to the true noncurrent model based on computations as partially ordered sets of events.
- Computer Programming and Software