Conference
On the abstract specification and formal analysis of synchronization properties of concurrent systems
Authors
Shields MW; Lauer PE
Series
Lecture Notes in Computer Science
Volume
75
Pagination
pp. 1-32
Publisher
Springer Nature
Publication Date
January 1, 1979
DOI
10.1007/3-540-09541-1_21
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743