Comparative concurrency semantics and refinement of actions
By: R.J.H. van Glabbeek.
Series: CWI tract -- 109.
Publisher: Centrum voor Wiskunde en Informatica
Published: 1996
Place of publication: Amsterdam
Language: eng
Number of pages: 285
Subjects: Formal languages -- Semantics.
Notes: Includes bibliographical references (p. 273-285).