![A Calculus of Communicating Systems [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
A Calculus of Communicating Systems [electronic resource] /
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1980
|
| Subjects: | Business., Information technology., Business, Computer science., Business and Management., IT in Business., Computer Science, general., |
| Online Access: | http://dx.doi.org/10.1007/3-540-10235-3 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|