TY - GEN

T1 - What is algebraic in process theory?

AU - Luttik, B.

PY - 2006

Y1 - 2006

N2 - 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).

AB - 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).

U2 - 10.1016/j.entcs.2005.12.086

DO - 10.1016/j.entcs.2005.12.086

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 227

EP - 231

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

A2 - Aceto, L.

A2 - Gordon, A.D.

ER -