Comparative concurrency semantics and refinement of actions / R.J.H. van Glabbeek.
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam :
Centrum voor Wiskunde en Informatica,
©1996.
|
Series: | CWI tract ;
109. |
Subjects: |
PASCAL Offsite
Call Number: |
QA267.3 .V36 1996
|
---|---|
QA267.3 .V36 1996 | Available Place a Hold |