Paper

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 on three behavioural preorders, obtained by applying the testing framework to L.

Year

1995

Bibtex key

DP95

Bibtex

@{DP95,
title = {{An Observational Semantics for Linda}},
author = {De Nicola, Rocco and Pugliese, Rosario},
booktitle = {Proc. of the Int. Workshop on Structures in Concurrency Theory},
editor = {J. Desel},
pages = {129-143},
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
on three behavioural preorders, obtained by applying the testing framework to L.},
year = {1995},
publisher = {Springer},
series = {Series Workshops in Computing},
}