Specification and analysis of concurrency.
Contributors: Stanford University. Computer Science Dept.
Series: Report -- STAN-CS-83-993
Publisher: Dept. of Computer Science, Stanford Univ
Published: 1983
Place of publication: Stanford
Language: eng
Notes: Microfiche (negative).