Jensen, Kurt3; Kyng, Morten3; Madsen, Ole Lehrmann3
1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Department of Computer Science, Science and Technology, Aarhus University
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