Equivalences for silent transitions in probilistic systems

S. Andova, T.A.C. Willemse

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
Originele taal-2Engels
TitelProceedings 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004, London, UK, August 30, 2004)
RedacteurenJ.C.M. Baeten, F. Corradini
Pagina's53-66
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume128(2)
ISSN van geprinte versie1571-0061

Citeer dit