Stämpfli - L’innovation technologique au service de la littérature juridique - Testez gratuitement !

Logo
A Calculus of Communicating Systems
Télécharger la couverture

A Calculus of Communicating Systems

Livre (broché)env. 69.00 CHF
livrable dans env. 5 jours

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.

septembre 1980, env. 184 pages, Anglais
Springer
978-3-540-10235-9

Autres titres sur ce thème

Captivate
The Science of Succeeding with People
Penguin Books, 2027
978-1-4059-9385-2
env. 21.50 CHF
paraît en juin
Accent Matters
Include every voice by challenging accent bias at work
Bloomsbury, 2027
978-1-3994-2156-0
env. 36.50 CHF
livrable dans env. 10-20 jours
Tuned In and Turned On
A Path to True Connection, Deep Healing and Lasting Love
Hay House Publishing, 2026
978-1-83782-486-1
29.90 CHF
disponible de suite
Inside the Box
How Constraints Make Us Better
Random House N.Y., 2026
978-0-593-71571-0
env. 40.90 CHF
livrable dans env. 20-45 jours
Artificial Security and the Politics of Hype in the EU
Springer International Publishing, 2027
978-3-031-44016-8
env. 169.00 CHF
livrable dans env. 20-45 jours
90 Days to Grow Your Influence
Daily Habits for Leading from Any Level
Harper Collins (US), 2027
978-0-310-18612-0
env. 23.90 CHF
paraît en mars