41 search results - page 1 / 9 » Free-Algebra Models for the pi-Calculus |
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
FORTE
2009
13 years 3 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
CIS
2004
Springer
13 years 10 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
CTCS
1997
Springer
13 years 9 months ago
1997
Springer
LICS
1996
IEEE
13 years 9 months ago
1996
IEEE
