263 search results - page 3 / 53 » Discrete Symbol Calculus |
SOFSEM
2010
Springer
15 years 8 months ago
2010
Springer
59
Voted
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
60
Voted
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
107
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
109
click to vote
CSFW
2010
IEEE
15 years 2 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...