1532 search results - page 42 / 307 » An Algebraic Process Calculus |
FUIN
2007
14 years 11 months ago
2007
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...
FOSSACS
2009
Springer
15 years 3 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
ICIP
2002
IEEE
16 years 25 days ago
2002
IEEE
ESOP
2001
Springer
15 years 3 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
ASIAN
1999
Springer
15 years 3 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...