For the most recent entries see the Petri Nets Newsletter.

The Petri Box Calculus for Concurrent Programs.

Best, Eike

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.

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

Back to the Petri Nets Bibliography