2012 | OriginalPaper | Buchkapitel
Understanding Distributed Services through the π-Calculus
verfasst von : Kohei Honda
Erschienen in: Web Services and Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.