12 search results - page 1 / 3 » Symbolic Bisimulation for the Applied Pi Calculus |
SOFSEM
2010
Springer
14 years 5 months ago
2010
Springer
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
JSW
2008
13 years 8 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
APLAS
2009
ACM
14 years 3 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...