Concurrent Behaviour
Subtitle: Sequences, Processes and Axioms
Series: Arbeitspapiere der GMD -- 118
Publisher: Gesellschaft fur Mathematik und Datenverarbeitung
Published: 1984
Place of publication: Bonn
Language: eng
Number of pages: 27