A Calculus of Communicating Systems [electronic resource] / edited by Robin Milner.
Material type: TextSeries: Lecture Notes in Computer Science ; 92Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Description: VI, 174 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540383116Subject(s): Economics | Computer science | Economics/Management Science | Economics/Management Science, general | Computer Science, generalAdditional physical formats: Printed edition:: No titleDDC classification: 330 LOC classification: HB71-74Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4465 |
0. Introduction -- 1. Experimenting on nondeterministic machines -- 2. Synchronization -- 3. A case study in synchronization and proof techniques -- 4. Case studies in value-communication -- 5. Syntax and semantics of CCS -- 6. Communication trees (CTs) as a model of CCS -- 7. Observation equivalence and its properties -- 8. Some proofs about data structures -- 9. Translation into CCS -- 10. Determinancy and confluence -- 11. Conclusion.
There are no comments on this title.