product iamge

A Calculus of Communicating Systems

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Robin Milner (eds.)
Series: Lecture Notes in Computer Science 92
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1980

Language: English
Pages: 174
Tags: Economics/Management Science, general; Computer Science, general

0. Introduction....Pages 1-8
1. Experimenting on nondeterministic machines....Pages 9-18
2. Synchronization....Pages 19-32
3. A case study in synchronization and proof techniques....Pages 33-46
4. Case studies in value-communication....Pages 47-64
5. Syntax and semantics of CCS....Pages 65-83
6. Communication trees (CTs) as a model of CCS....Pages 84-97
7. Observation equivalence and its properties....Pages 98-110
8. Some proofs about data structures....Pages 111-125
9. Translation into CCS....Pages 126-137
10. Determinancy and confluence....Pages 138-157
11. Conclusion....Pages 158-165