Communicating and Mobile Systems
Subtitle: the Pi-Calculus
Edition: 1st edition
Publisher: Cambridge University Press
Published: June 15, 1999
Language: eng
Format: Hardcover
Number of pages: 161
ISBN-13: 9780521643207
Subjects: Computer Communications & Networking; Data Transmission Systems; Calculus; Computers; Computers - Communications / Networking; Computer Books: Operating Systems; Telecommunications; Data Transmission Systems - General; Computer Science; Programming - General; Computers / Computer Science; Computers / Networking / General; Computers-Programming - General; Mobile computing; Technology-Telecommunications
First sentence: This book introduces a calculus for analysing properties of concurrent communicating processes, which may grow and shrink and move about.