For the most recent entries see the Petri Nets Newsletter.

A Petri Net Semantics of occam.

Botti, Oliver; Hall, Jon; Hopkins, Richard

University of Newcastle upon Tyne, Computing Laboratory, Technical Report, 1991.

Abstract: The authors describe a Petri net model (the box model) which allows the production of true concurrency semantics for a range of concurrent programming languages. In particular they give a true concurrency semantics for a large subset of occam-2 including data and priorities.

Keywords: net semantics (of) occam; Petri box model; true concurrency semantics; concurrent programming language; occam-2 subset, (including) priority.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography