HUDU

Communicating and Mobile Systems


€ 51,49
 
kartoniert
Lieferbar innert 2 Wochen
Mai 1999

Beschreibung

Beschreibung

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 pi-Calculus:
8. What is mobility?
9. The pi-calculus and reaction;
10. Applications of the pi-calculus;
11. Sorts, objects and functions;
12. Commitments and strong bisimulation;
13. Observation equivalence and examples;
14. Discussion and related work; Bibliography; Index.

Pressestimmen

'... may well become the standard work on the pi-calculus.' Martin Hoffman, Zentralblatt MATH
EAN: 9780521658690
ISBN: 0521658691
Untertitel: The Pi Calculus. 58 b/w illus. 230 exercises. Sprache: Englisch.
Verlag: Cambridge University Press
Erscheinungsdatum: Mai 1999
Seitenanzahl: 174 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben