Proving properties of processes
By: Antoni Mazurkiewicz
Series: Reports - Computation Centre, Polish Academy of Sciences -- 134; Prace CO PAN -- v.134
Publisher: PKiN
Published: 1973
Place of publication: Warszawa
Language: eng
Number of pages: 25
Notes: Summary in English, Russian and Polish.