This paper introduces a language for the description of systems with concurrency, and presents a formal definition of its semantics. The language is based on Delta and the semantic model is an extension of Petri nets with a data part and with expressions attached to transitions and to places.
Semantics of Concurrent Computation, 1979, p. 348-368
Main Research Area:
Lecture Notes in Computer Science
International Sympoisum on Semantics of Concurrent Computation, 1979