MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Understanding Distributed Services through the π-Calculus
Kohei HONDA
8th International Workshop on Web Services and Formal Methods (WS-FM 2011) p. 1

Computing started from a simple but powerful abstract machine, Turing Machine, and theories of functions. On this basis we built core principles of hardware, programming languages and systems software (such as compilers and OSes). Later computing systems are linked by networks and, eventually, by Internet, building on new principles for networking. This has transformed computing, leading to many software-based services shared through remote communications. One of the key enablers of this transformation is World Wide Web, supported by Internet. Here each application is still essentially sequential, but they are linked by a fixed set of network protocols.

@inproceedings{H2011,
  author = {Kohei Honda},
  title = {{Understanding Distributed Services through the π-Calculus}},
  booktitle = { 8th International Workshop on Web Services and Formal Methods},
  series = {LNCS},
  volume = {7176},
  pages = {1--},
  publisher = {Springer},
  year = 2011
}
@inproceedings{H2011,
  author = {Kohei Honda},
  title = {{Understanding Distributed Services through the π-Calculus}},
  booktitle = { 8th International Workshop on Web Services and Formal Methods},
  series = {LNCS},
  volume = {7176},
  pages = {1--},
  publisher = {Springer},
  doi = "10.1007/978-3-642-29834-9",
  year = 2011
}