Comparative concurrency semantics and refinement of actions
Comparative concurrency semantics and refinement of actions
1996
Rob J. Van Glabbeek
Details
First published
1996
OL Work ID
OL11552373W
Subjects
Formal languages
Semantics
Find this book
Open Library