What is algebraic in process theory?

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Samenvatting

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).
Originele taal-2Engels
TitelProceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005)
RedacteurenL. Aceto, A.D. Gordon
Pagina's227-231
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume162
ISSN van geprinte versie1571-0061

Vingerafdruk Duik in de onderzoeksthema's van 'What is algebraic in process theory?'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Luttik, B. (2006). What is algebraic in process theory? In L. Aceto, & A. D. Gordon (editors), Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005) (blz. 227-231). (Electronic Notes in Theoretical Computer Science; Vol. 162). https://doi.org/10.1016/j.entcs.2005.12.086