Robin Milner

Communicating and Mobile Systems

• Broschiertes Buch

Produktbeschreibung

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 174
• Erscheinungstermin: 29. März 2019
• Englisch
• Abmessung: 229mm x 152mm x 10mm
• Gewicht: 262g
• ISBN-13: 9780521658690
• ISBN-10: 0521658691
• Artikelnr.: 21521817

Inhaltsangabe

Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The
-Calculus: 8. What is mobility? 9. The
-calculus and reaction; 10. Applications of the
-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.