Sciweavers

2 search results - page 1 / 1
» The RPC calculus
Sort
View
PPDP
2009
Springer
13 years 11 months ago
The RPC calculus
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
Ezra Cooper, Philip Wadler
CORR
2004
Springer
120views Education» more  CORR 2004»
13 years 4 months ago
Validating a Web Service Security Abstraction by Typing
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...
Andrew D. Gordon, Riccardo Pucella