1532 search results - page 80 / 307 » An Algebraic Process Calculus |
ENTCS
2007
14 years 9 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
110
click to vote
AOSD
2010
ACM
15 years 4 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
A linear forwarder is a process which receives one message on a channel and sends it on a different channel. Such a process allows for a simple implementation of the asynchronous...