Regular expressions in process algebra

J.C.M. Baeten; F. Corradini

doi:10.1109/LICS.2005.43

Regular expressions in process algebra

J.C.M. Baeten, F. Corradini

Formal System Analysis

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

7 Citations (Scopus)

Original language	English
Title of host publication	Logic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005)
Place of Publication	Los Alamitos
Publisher	Institute of Electrical and Electronics Engineers
Pages	12-19
ISBN (Print)	0-7695-2266-1
DOIs	https://doi.org/10.1109/LICS.2005.43
Publication status	Published - 2005

Access to Document

10.1109/LICS.2005.43

Cite this

@inproceedings{9b15d8bd891449e991e031c26b7a30e8,

title = "Regular expressions in process algebra",

author = "J.C.M. Baeten and F. Corradini",

year = "2005",

doi = "10.1109/LICS.2005.43",

language = "English",

isbn = "0-7695-2266-1",

pages = "12--19",

booktitle = "Logic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Regular expressions in process algebra. / Baeten, J.C.M.; Corradini, F.
Logic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005). Los Alamitos: Institute of Electrical and Electronics Engineers, 2005. p. 12-19.

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

TY - GEN

T1 - Regular expressions in process algebra

AU - Baeten, J.C.M.

AU - Corradini, F.

PY - 2005

Y1 - 2005

U2 - 10.1109/LICS.2005.43

DO - 10.1109/LICS.2005.43

M3 - Conference contribution

SN - 0-7695-2266-1

SP - 12

EP - 19

BT - Logic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005)

PB - Institute of Electrical and Electronics Engineers

CY - Los Alamitos

ER -