12 search results - page 1 / 3 » Symbolic Bisimulation for the Applied Pi Calculus |
146
Voted
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
116
Voted
FSTTCS
2007
Springer
16 years 16 days ago
2007
Springer
171
Voted
FOSSACS
2004
Springer
15 years 11 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...
180
Voted
JSW
2008
15 years 6 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...
152
Voted
APLAS
2009
ACM
16 years 27 days 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...