Stämpfli Fachinhalte - jetzt im rechtssicheren Libra All-In-One AI Workspace verfügbar - Jetzt kostenlos testen!

Logo
A Calculus of Communicating Systems
Download Cover

A Calculus of Communicating Systems

Buch (broschiert)ca. 69.00 CHF
lieferbar in ca. 5 Arbeitstagen

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.

September 1980, ca. 184 Seiten, Englisch
Springer
978-3-540-10235-9

Weitere Titel zum Thema

Inside the Box
How Constraints Make Us Better
Random House N.Y., 2026
979-8-217-18352-4
26.90 CHF
sofort lieferbar
Secure
The Revolutionary Guide to Creating a Secure Life
Random House N.Y., 2026
979-8-217-18307-4
26.90 CHF
sofort lieferbar
Global Perspectives on AI, Ethics, and Business Economics
Charting the Future
Springer, 2026
978-3-031-88783-3
ca. 198.00 CHF
lieferbar in ca. 5 Arbeitstagen
The Telephone
A New History
Pan macmillan Ltd., 2027
978-1-0350-5665-1
ca. 43.50 CHF
erscheint im Januar
Artificial Security and the Politics of Hype in the EU
Springer International Publishing, 2027
978-3-031-44016-8
ca. 169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
90 Days to Grow Your Influence
Daily Habits for Leading from Any Level
Harper Collins (US), 2027
978-0-310-18612-0
ca. 23.90 CHF
erscheint im März
The Cybersecurity Companion to IT and OT
Springer International Publishing, 2027
978-3-032-35592-8
ca. 96.00 CHF
erscheint im Januar
Relational Energy
How to Beat Burnout and Ignite Your Team
Random House N.Y., 2027
979-8-89057-165-6
ca. 32.50 CHF
erscheint im Januar