243 search results - page 1 / 49 » Process Algebra: An Algebraic Theory of Concurrency |
CAI
2009
Springer
14 years 5 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
ENTCS
2006
13 years 11 months ago
2006
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...
ICFP
1996
ACM
14 years 3 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...