A behavioural semantics for Linda-2

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. The author does, however, make some assumptions, in particular that the language is typed. He assumes no knowledge of Linda, but an understanding of Z (or, at least, set theory and predicate calculus) is assumed