|  |
| |
| Artikel-Nr.:
858A-9783540102359 Herst.-Nr.:
9783540102359 EAN/GTIN:
9783540102359 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | R. Milner | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Wirtschaftsbücher - englischsprachig, allgemeine Sozialwissenschaftsbücher - englischsprachig, bücher zu sozialwissenschaften allgemein, Calc; Equivalence; communication; data structure; data structures; Model; proof; Semantics; techniques, Calc, Equivalence, calculus, communication, data structure, data structures, model, proof, semantics, techniques |
| | |
| |