Real space process algebra

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

doi:10.1007/3-540-54430-5_83

Real space process algebra

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

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

7 Citations (Scopus)

158 Downloads (Pure)

Original language	English
Title of host publication	CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)
Editors	J.C.M. Baeten, J.F. Groote
Place of Publication	Berlin
Publisher	Springer
Pages	96-110
ISBN (Print)	3-540-54430-5
DOIs	https://doi.org/10.1007/3-540-54430-5_83
Publication status	Published - 1991

Publication series

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

Access to Document

10.1007/3-540-54430-5_83

586793Final published version, 259 KB

Cite this

@inproceedings{d9fa2650075d43cca93e9af2390c56ad,

title = "Real space process algebra",

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

year = "1991",

doi = "10.1007/3-540-54430-5_83",

language = "English",

isbn = "3-540-54430-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "96--110",

editor = "J.C.M. Baeten and J.F. Groote",

booktitle = "CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)",

address = "Germany",

}

Real space process algebra. / Baeten, J.C.M.; Bergstra, J.A.
CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991). ed. / J.C.M. Baeten; J.F. Groote. Berlin: Springer, 1991. p. 96-110 (Lecture Notes in Computer Science; Vol. 527).

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

TY - GEN

T1 - Real space process algebra

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1991

Y1 - 1991

U2 - 10.1007/3-540-54430-5_83

DO - 10.1007/3-540-54430-5_83

M3 - Conference contribution

SN - 3-540-54430-5

T3 - Lecture Notes in Computer Science

SP - 96

EP - 110

BT - CONCUR'91 (Proceedings 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991)

A2 - Baeten, J.C.M.

A2 - Groote, J.F.

PB - Springer

CY - Berlin

ER -