1988
Modular specifications in process algebra : with curious queues
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
van Glabbeek, R., & Vaandrager, F. (1988). Modular specifications in process algebra : with curious queues. Department of Computer Science [CS]. CWI. |