Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2019
Fachbereich: EDV
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9780521658690
ISBN-10: 0521658691
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Milner, Robin
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 10 mm
Von/Mit: Robin Milner
Erscheinungsdatum: 29.03.2019
Gewicht: 0,262 kg
Artikel-ID: 106631041

Ähnliche Produkte