Sciweavers

1532 search results - page 36 / 307
» An Algebraic Process Calculus
Sort
View
SCP
2008
55views more  SCP 2008»
14 years 9 months ago
XPi: A typed process calculus for XML messaging
Lucia Acciai, Michele Boreale
ENTCS
2002
51views more  ENTCS 2002»
14 years 9 months ago
A Logical Process Calculus
Rance Cleaveland, Gerald Lüttgen
ENTCS
2002
93views more  ENTCS 2002»
14 years 9 months ago
An Abstract Machine for a Higher-Order Distributed Process Calculus
Florence Germain, Marc Lacoste, Jean-Bernard Stefa...
CORR
2009
Springer
74views Education» more  CORR 2009»
14 years 7 months ago
A Process Calculus for Molecular Interaction Maps
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...