The Theory and Practice of Concurrency

Roscoe, A. W. (1997). The Theory and Practice of Concurrency. Prentice Hall.

Type

Book

Intellectual base

Textbook

Year

1997

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Communicating sequential processes
  • CSP is a formal calculus in which interacting processes compose through explicitly synchronized communication.

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:0b243f6d3a4f · see in the full table