An approach to automating the verification of compact parallel coordination programs.  II.
Series: Ultracomputer note -- 49
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1983
Place of publication: New York
Language: eng
Number of pages: 49