Communicating and Mobile Systems

Communicating and Mobile Systems
Author :
Publisher : Cambridge University Press
Total Pages : 180
Release :
ISBN-10 : 0521658691
ISBN-13 : 9780521658690
Rating : 4/5 (690 Downloads)

Book Synopsis Communicating and Mobile Systems by : Robin Milner

Download or read book Communicating and Mobile Systems written by Robin Milner and published by Cambridge University Press. This book was released on 1999-05-20 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: First account of new theory of communication in computing which describes networks, as well as parts of computer systems.


Communicating and Mobile Systems Related Books

Communicating and Mobile Systems
Language: en
Pages: 180
Authors: Robin Milner
Categories: Computers
Type: BOOK - Published: 1999-05-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
The Pi-Calculus
Language: en
Pages: 600
Authors: Davide Sangiorgi
Categories: Computers
Type: BOOK - Published: 2003-10-16 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Graduate text on the p-calculus, a mathematical model of mobile computing systems.
A Distributed Pi-Calculus
Language: en
Pages:
Authors: Matthew Hennessy
Categories: Computers
Type: BOOK - Published: 2007-03-08 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to unde
Logic and Algebra of Specification
Language: en
Pages: 449
Authors: Friedrich L. Bauer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These ne
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

DOWNLOAD EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It