In: 91; 3rd Workshop on Concurrency and Compositionality, 1991, Goslar, Germany / Best, E.; et al.: GMD-Studien Nr. 191; Hildesheimer Informatik-Berichte 6, pages 33-42. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH --- Universität Hildesheim (Germany), Institut für Informatik, May 1991.
Abstract: The aim of this work is to develop a semantic framework for concurrent programs that is both causal and compositional. Causality means that the dependencies implied by the program text should be semantically described. Compositionality means that the translation should be homomorphic, mapping syntactic operators so semantic ones. In order to achieve compositionality while staying in the Petri net framework, the author has developed the Petri box model. This generalises the classical `black box' model by adding a communications interface.
Keywords: petri box calculus (for) concurrent program(s); causal (and) compositional program semantics; Petri box; communications interface.
Back to the Petri Nets Bibliography