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

J.C.M. Baeten; M. Bravetti

doi:10.1007/11539452_21

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

J.C.M. Baeten
, M. Bravetti

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

15 Citations (Scopus)

5 Downloads (Pure)

Original language	English
Title of host publication	CONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005)
Editors	M. Abadi, L. de Alfaro
Place of Publication	Berlin
Publisher	Springer
Pages	248-262
ISBN (Print)	3-540-28309-0
DOIs	https://doi.org/10.1007/11539452_21
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Volume	3653
ISSN (Print)	0302-9743

Access to Document

10.1007/11539452_21

Cite this

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

@inproceedings{63c7332172444392ac1ccf9aa92dd3f8,

title = "A ground-complete axiomatization of finite state processes in process algebra",

author = "J.C.M. Baeten and M. Bravetti",

year = "2005",

doi = "10.1007/11539452\_21",

language = "English",

isbn = "3-540-28309-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "248--262",

editor = "M. Abadi and \{de Alfaro\}, L.",

booktitle = "CONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005)",

address = "Germany",

}

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Baeten, J.C.M.

AU - Bravetti, M.

PY - 2005

Y1 - 2005

U2 - 10.1007/11539452_21

DO - 10.1007/11539452_21

M3 - Conference contribution

SN - 3-540-28309-0

T3 - Lecture Notes in Computer Science

SP - 248

EP - 262

BT - CONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005)

A2 - Abadi, M.

A2 - de Alfaro, L.

PB - Springer

CY - Berlin

ER -