Conference
A formal semantics for concurrent systems
Authors
Shields MW; Lauer PE
Series
Lecture Notes in Computer Science
Volume
71
Pagination
pp. 571-584
Publisher
Springer Nature
Publication Date
January 1, 1979
DOI
10.1007/3-540-09510-1_46
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743