For the most recent entries see the Petri Nets Newsletter.

An observational Semantics for Linda.

de Nicola, Rocco; Pugliese, Rosario

In: Desel, J.: Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995, pages 129-143. 1995.

Abstract: Linda has just four primitives, all of which are devoted to coordinating the interactions among programs by sharing information maintained in a common data space. To write programs manipulating data, it is necessary to embed Linda in a (functional, imperative, logic, etc.) programming language; this leads to a family of languages based on Linda. We define syntax and semantics for a member of the Linda family, L, that is obtained by embedding Linda in a simple sequential language. The semantics of this concurrent programming language is formalized by applying techniques developed within the framework of process algebras. A two-level semantics for L is provided: an operational one in Plotkin's style, based on a transition system, and an observational one, based three behavioural preorders, obtained by applying the testing framework to L.

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

Back to the Petri Nets Bibliography