Non interleaving process algebra

J.C.M. Baeten, J.A. Bergstra

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5881 Downloads (Pure)
Originele taal-2Engels
TitelCONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993)
RedacteurenE. Best
Plaats van productieBerlin
UitgeverijSpringer
Pagina's308-323
ISBN van geprinte versie3-540-57208-2
DOI's
StatusGepubliceerd - 1993

Publicatie series

NaamLecture Notes in Computer Science
Volume715
ISSN van geprinte versie0302-9743

Citeer dit