Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · 1996

Workshop on Partial Order Methods in Verification

Doron Peled, Vaughan Pratt, Gerard J. Holzmann

Cited by 4Abstract and details only

Abstract

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.

Cite this paper

APA 7

Peled, D., Pratt, V., & Holzmann, G. J. (1996). Workshop on Partial Order Methods in Verification.

MLA 9

Peled, Doron, et al. “Workshop on Partial Order Methods in Verification.” 1996.

Chicago

Peled, Doron, Vaughan Pratt, and Gerard J. Holzmann. 1996. “Workshop on Partial Order Methods in Verification.”

Harvard

Peled, D., Pratt, V. and Holzmann, G.J. (1996) ‘Workshop on Partial Order Methods in Verification’.

BibTeX
@article{peled1996workshop,
  title = {{Workshop on Partial Order Methods in Verification}},
  author = {Peled, Doron and Pratt, Vaughan and Holzmann, Gerard J.},
  year = {1996}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers