A ground-complete axiomatization of finite state processes in process algebra

J.C.M. Baeten, M. Bravetti

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

13 Citaten (Scopus)
Originele taal-2Engels
TitelCONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005)
RedacteurenM. Abadi, L. de Alfaro
Plaats van productieBerlin
UitgeverijSpringer
Pagina's248-262
ISBN van geprinte versie3-540-28309-0
DOI's
StatusGepubliceerd - 2005

Publicatie series

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

Citeer dit

Baeten, J. C. M., & Bravetti, M. (2005). A ground-complete axiomatization of finite state processes in process algebra. In M. Abadi, & L. de Alfaro (editors), CONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005) (blz. 248-262). (Lecture Notes in Computer Science; Vol. 3653). Springer. https://doi.org/10.1007/11539452_21