Vor Ort
Merkzettel Warenkorb
  • Produktbild: Communicating and Mobile Systems
  • Produktbild: Communicating and Mobile Systems

Communicating and Mobile Systems The Pi Calculus

88,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.03.2019

Verlag

Cambridge Academic

Seitenzahl

174

Maße (L/B/H)

22,9/15,2/1 cm

Gewicht

240 g

Sprache

Englisch

ISBN

978-0-521-65869-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.03.2019

Verlag

Cambridge Academic

Seitenzahl

174

Maße (L/B/H)

22,9/15,2/1 cm

Gewicht

240 g

Sprache

Englisch

ISBN

978-0-521-65869-0

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Communicating and Mobile Systems
  • Produktbild: Communicating and Mobile Systems
  • 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.