Process algebra

J.C.M. Baeten, D.A. Beek, van, J.E. Rooda

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

LanguageEnglish
Title of host publicationHandbook of Dynamic System Modeling
EditorsP.A. Fishwick
Place of PublicationBoca Raton
PublisherChapman & Hall/CRC Press
Pages19.1-19.19
ISBN (Print)978-1-58488-565-8
StatePublished - 2007

Publication series

NameChapman&Hall/CRC Computer and Information Science Series

Cite this

Baeten, J. C. M., Beek, van, D. A., & Rooda, J. E. (2007). Process algebra. In P. A. Fishwick (Ed.), Handbook of Dynamic System Modeling (pp. 19.1-19.19). (Chapman&Hall/CRC Computer and Information Science Series). Boca Raton: Chapman & Hall/CRC Press.
Baeten, J.C.M. ; Beek, van, D.A. ; Rooda, J.E./ Process algebra. Handbook of Dynamic System Modeling. editor / P.A. Fishwick. Boca Raton : Chapman & Hall/CRC Press, 2007. pp. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series).
@inbook{ca89107b392649eeb843546b2b0753a9,
title = "Process algebra",
author = "J.C.M. Baeten and {Beek, van}, D.A. and J.E. Rooda",
year = "2007",
language = "English",
isbn = "978-1-58488-565-8",
series = "Chapman&Hall/CRC Computer and Information Science Series",
publisher = "Chapman & Hall/CRC Press",
pages = "19.1--19.19",
editor = "P.A. Fishwick",
booktitle = "Handbook of Dynamic System Modeling",

}

Baeten, JCM, Beek, van, DA & Rooda, JE 2007, Process algebra. in PA Fishwick (ed.), Handbook of Dynamic System Modeling. Chapman&Hall/CRC Computer and Information Science Series, Chapman & Hall/CRC Press, Boca Raton, pp. 19.1-19.19.

Process algebra. / Baeten, J.C.M.; Beek, van, D.A.; Rooda, J.E.

Handbook of Dynamic System Modeling. ed. / P.A. Fishwick. Boca Raton : Chapman & Hall/CRC Press, 2007. p. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Process algebra

AU - Baeten,J.C.M.

AU - Beek, van,D.A.

AU - Rooda,J.E.

PY - 2007

Y1 - 2007

M3 - Chapter

SN - 978-1-58488-565-8

T3 - Chapman&Hall/CRC Computer and Information Science Series

SP - 19.1-19.19

BT - Handbook of Dynamic System Modeling

PB - Chapman & Hall/CRC Press

CY - Boca Raton

ER -

Baeten JCM, Beek, van DA, Rooda JE. Process algebra. In Fishwick PA, editor, Handbook of Dynamic System Modeling. Boca Raton: Chapman & Hall/CRC Press. 2007. p. 19.1-19.19. (Chapman&Hall/CRC Computer and Information Science Series).