Springer

A Calculus of Communicating Systems

Name: A Calculus of Communicating Systems
Brand: Springer
SKU: 7e2cd21fdf5e2d90671940122b126a1d

1/1

Afbeelding van A Calculus of Communicating Systems

Bol

Prijzen vanaf

48,99

Gesponsorde links

	48,99	Naar shop
	49,99	Naar shop
	49,99	Naar shop
VERGELIJK ALLE AANBIEDERS (3)

Beschrijving

Bol 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.

Lees meer

Vergelijk aanbieders (3)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 48,99 Gratis verzending

€ 49,99 Gratis verzending

Beschrijving (1)

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.

Lees meer