2152 search results - page 18 / 431 » On Automating the Calculus of Relations |
118
click to vote
CSFW
2010
IEEE
15 years 3 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...
73
Voted
AIPS
2003
15 years 1 months ago
2003
TIME
2002
IEEE
15 years 5 months ago
2002
IEEE
72
Voted
TIME
2002
IEEE
15 years 5 months ago
2002
IEEE
94
Voted
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE