Course Notes for Modelling Concurrent Systems

van Glabbeek, R. Course Notes for Modelling Concurrent Systems.

Type

Web resource

Intellectual base

Web

Link

https://homepages.inf.ed.ac.uk/rvangla/MCS/notes.html

Cited by

1 citation across 1 artifact.

Domain-specific

• Calculus of Communicating Systems
  • Algebra of Communicating Processes uses a different algebraic design, distinguishes successful termination from deadlock, may use explicit communication functions and auxiliary merge operators, and can keep communication observable separately from abstraction.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:bdf098350e34 · see in the full table