View more the latest threads:

• APE for Validating Knowledge Certification Exam 2011
• Advanced Routing and Switching Certification Exam 2011
• All Cisco Certifications in Certkey July 2011
• About Cisco Certifications 2011
• the effectiveness of internet
• New Practical Photoshop June 2011
• Creating a First Web Site with Flash CS5 Interactive...
• Think Vitamin - PHP :Course Contents 2011
• Kelby Training - Adobe Photoshop Starting From Scratch 2011
• Video2Brain Die PowerPoint 2010 Schulung German

Lecture Notes in
Computer Science
Edited by G. Goos and J. Hartmanis
92
I I I I
Robin Milner
A Calculus of
Communicating Systems
Springer-Verlag
Berlin Heidelberg New York 1980 Editorial Board
W. Brauer P. Brinch Hansen D. Gries C. Moler G. SeegmiJIler
J..q;toer N. Wirth
Author
Robin Milner
University of Edinburgh
Dept. of Computer Science
James Clerk Maxwell Building
The King's Buildings
Mayfield Road
Edinburgh EH9 3JZ
Great Britain
AMS Subject Classifications (1979): 68-02
CR Subject Classifications (1974): 4.30, 5.20, 5.22, 5.24
ISBN 3-540-10235-3 Springer-Verlag Berlin Heidelberg New York
ISBN 0-38?-10235-3 Springer-Verlag NewYork Heidelberg Berlin
Library of Congress Cataloging in Publication Data. Milner, Robin. A calculus of
communicating systems. (Lecture notes in computer science; 92) Bibliography: p.
Includes index, t. Machine theory. 2. Formal languages. I. Title. 11. Series.
CIA26?.M53. 511.3 80-21068
This wo r k is subject to copyright. All rights are reserved, whether the wh o l e o r part
o f the material is concerned, specifically t h o s e o f translation, reprinting, re-use o f
illustrations, broadcasting, reproduct ion by photocopying machine o r similar means,
and storage in data banks. Under § 5 4 o f t h e German Copyr ight Law wh e r e copies
are made for o t h e r than private use, a f e e is payable t o t h e publisher, t h e amount o f
the fee t o be determined by agreement wi th t h e publisher.
© by Springer-Verlag Berlin Heidelberg 1980
Printed in Germany
Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr.
9145/3140-543210 w o r k w a s m a i n l y done during m y six-month appo_ i n - - t , frcm
~ t 1979 to January 1980, at the Ommouter Science deoalb~ent in
Aarhus University, ~ k . Although m u c h o f the ground w o r k h a d been
done previously it w a s mainly in response t o their encouragement (to
make the theory m o r e accessible a n d related to practice), and to their