41 search results - page 1 / 9 » Free-Algebra Models for the pi-Calculus |
62
Voted
FOSSACS
2005
Springer
15 years 2 months ago
2005
Springer
119
Voted
FORTE
2009
14 years 7 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...
113
click to vote
CIS
2004
Springer
15 years 2 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
15 years 1 months ago
1997
Springer
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
