DocumentCode :
1391538
Title :
A behavioural semantics for Linda-2
Author :
Butcher, Paul
Author_Institution :
York Univ., UK
Volume :
6
Issue :
4
fYear :
1991
fDate :
7/1/1991 12:00:00 AM
Firstpage :
196
Lastpage :
204
Abstract :
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
Keywords :
formal specification; high level languages; parallel languages; specification languages; Linda-2; behavioural semantics; co-ordination language; computation language; parallel language; predicate calculus; set theory; specification language Z; typed language;
fLanguage :
English
Journal_Title :
Software Engineering Journal
Publisher :
iet
ISSN :
0268-6961
Type :
jour
Filename :
87377
Link To Document :
بازگشت