Verification of several parallel coordination programs based on descriptions of their reachability sets.
Series: Ultracomputer note -- 33
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1981
Place of publication: New York
Language: eng
Number of pages: 50