Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

THE CONCURRENCY COLUMN BRICS, Department of Computer Science

BRICS, Department of Computer Science
Aalborg University, 9220 Aalborg , Denmark
luca@cs.auc.dk, http://www.cs.auc.dk/~luca/BEATCS
What is algebraic about the theory of process algebras or process calculi,
as developed over the last twenty five years from the original proposals of
pioneers like Jan Bergstra, Tony Hoare, Jan Willem Klop and Robin Milner
amongst others? And in what sense are the prototype process description
languages developed by those researchers "algebraic"? Is there any benefit to
be obtained by taking an abstract approach couched in the tradition of modern
algebra to the study of processes as mathematical entities?
These are some of the questions that are addressed in this crisp and very
clear column written by Bas Luttik. I heard Bas present some of the results and
opinions that are aired in his contribution a few times over the last couple of
years, and this piece explains them in very accessible, yet precise, fashion. In
addition, this column makes some of Bas's work on process theoretic binders
(in particular, on choice quantification) and on axiomatizations of unique de-
composition proofs readily available to the members of our community.


Source: Aceto, Luca - School of Computer Science, Reykjavk University
Luttik, Bas - Wiskunde en Informatica, Technische Universiteit Eindhoven


Collections: Computer Technologies and Information Sciences; Mathematics