Journal article
Formal behavioural specification of concurrent systems without globality assumptions
Authors
Lauer PE; Shields MW; Cotronis JY
Journal
Lecture Notes in Computer Science, Vol. 107, , pp. 115–151
Publisher
Springer Nature
Publication Date
1981
DOI
10.1007/3-540-10699-5_95
ISSN
0302-9743