Non interleaving process algebra

J.C.M. Baeten; J.A. Bergstra

doi:10.1007/3-540-57208-2_22

Non interleaving process algebra

J.C.M. Baeten
, J.A. Bergstra

Mathematics and Computer Science

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

7 Citations (Scopus)

5942 Downloads (Pure)

Original language	English
Title of host publication	CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993)
Editors	E. Best
Place of Publication	Berlin
Publisher	Springer
Pages	308-323
ISBN (Print)	3-540-57208-2
DOIs	https://doi.org/10.1007/3-540-57208-2_22
Publication status	Published - 1993

Publication series

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

Access to Document

10.1007/3-540-57208-2_22

586798Final published version, 112 KB

Cite this

@inproceedings{25f6c1495d994863a5ce9087e351a598,

title = "Non interleaving process algebra",

author = "J.C.M. Baeten and J.A. Bergstra",

year = "1993",

doi = "10.1007/3-540-57208-2\_22",

language = "English",

isbn = "3-540-57208-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "308--323",

editor = "E. Best",

booktitle = "CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993)",

address = "Germany",

}

Non interleaving process algebra. / Baeten, J.C.M.; Bergstra, J.A.
CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993). ed. / E. Best. Berlin: Springer, 1993. p. 308-323 (Lecture Notes in Computer Science; Vol. 715).

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

TY - GEN

T1 - Non interleaving process algebra

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1993

Y1 - 1993

U2 - 10.1007/3-540-57208-2_22

DO - 10.1007/3-540-57208-2_22

M3 - Conference contribution

SN - 3-540-57208-2

T3 - Lecture Notes in Computer Science

SP - 308

EP - 323

BT - CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993)

A2 - Best, E.

PB - Springer

CY - Berlin

ER -