Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. September 1980 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 289 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540102359 |
| Seiten | 174 |