Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Honda, K. (2012). Understanding Distributed Services through the π-Calculus. In: Carbone, M., Petit, JM. (eds) Web Services and Formal Methods. WS-FM 2011. Lecture Notes in Computer Science, vol 7176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29834-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-29834-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29833-2
Online ISBN: 978-3-642-29834-9
eBook Packages: Computer ScienceComputer Science (R0)