263 search results - page 3 / 53 » Discrete Symbol Calculus |
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
CONCUR
2004
Springer
15 years 2 months ago
2004
Springer
APLAS
2007
ACM
15 years 1 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...
CSFW
2010
IEEE
15 years 18 days 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...