8 search results - page 2 / 2 » Encoding cryptographic primitives in a calculus with polyadi... |
188
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
101
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...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...