Accession Number:

ADA357327

Title:

Workshop on Partial Order Methods in Verification

Descriptive Note:

Final rept. 15 Apr-30 Aug 96

Corporate Author:

RUTGERS - THE STATE UNIV PISCATAWAY NJ

Report Date:

1996-01-01

Pagination or Media Count:

367.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE