A behavioural semantics for Linda-2

Publisher Website
Google Scholar
Abstract
This paper presents a behavioural semantics for the language Linda, written in the specification language Z. The language defined is the dialect commonly referred to as Linda-2. Linda is a co-ordination language, and therefore has to be embedded in a computation language in order to produce a full parallel language. This specification attempts to be (as far as is possible) base language-independent, i.e. as few assumptions as possible are made about the computation language. We do, however, make some assumptions, in particular that the language is typed. This paper assumes no knowledge of Linda, but an understanding of Z (or, at least, set theory and predicate calculus) is assumed.

This publication has 0 references indexed in Scilit: