A congruence theorem for structured operational semantics with predicates

J.C.M. Baeten, C. Verhoef

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

52 Citaten (Scopus)
91 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's477-492
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