243 search results - page 10 / 49 » Process Algebra: An Algebraic Theory of Concurrency |
101
click to vote
CONCUR
1992
Springer
15 years 1 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
106
click to vote
PDS
1996
14 years 11 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
SFM
2004
Springer
15 years 3 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
ACSD
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...