What is algebraic in process theory?

B. Luttik

doi:10.1016/j.entcs.2005.12.086

What is algebraic in process theory?

B. Luttik

Formal System Analysis

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

5 Citations (Scopus)

Abstract

Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundamental concepts. In the 1990's, with the rapid introduction of advanced features (data, time, mobility, probability, stochastics), the algebraic line was largely abandoned. I believe that a thorough abstract algebraic treatment adds a degree of mathematical maturity and elegance to the theory. In this note I discuss what is algebraic in process theory, and what is not (yet).

Original language	English
Title of host publication	Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005)
Editors	L. Aceto, A.D. Gordon
Pages	227-231
DOIs	https://doi.org/10.1016/j.entcs.2005.12.086
Publication status	Published - 2006

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	162
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2005.12.086

Cite this

@inproceedings{dada394df8c14aa0b8d8ded04618eb7a,

title = "What is algebraic in process theory?",

abstract = "Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundamental concepts. In the 1990's, with the rapid introduction of advanced features (data, time, mobility, probability, stochastics), the algebraic line was largely abandoned. I believe that a thorough abstract algebraic treatment adds a degree of mathematical maturity and elegance to the theory. In this note I discuss what is algebraic in process theory, and what is not (yet).",

author = "B. Luttik",

year = "2006",

doi = "10.1016/j.entcs.2005.12.086",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "227--231",

editor = "L. Aceto and A.D. Gordon",

booktitle = "Proceedings of the Workshop {"}Essays on Algebraic Process Calculi{"} (APC 25, Bertinoro, Italy, August 1-5, 2005)",

}

What is algebraic in process theory? / Luttik, B.
Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). ed. / L. Aceto; A.D. Gordon. 2006. p. 227-231 (Electronic Notes in Theoretical Computer Science; Vol. 162).

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