A Calculus of Mobile Processes, I and II.

Milner, R., Parrow, J., & Walker, D. (1992). A Calculus of Mobile Processes, I and II. Information and Computation, 5401(92), 1-77.

Type

Journal article

Intellectual base

Primary research

Year

1992

DOI

10.1016/0890-5401(92)90008-4

Link

https://doi.org/10.1016/0890-5401(92)90008-4

Cited by

1 citation across 1 artifact.

Domain-specific

• Calculus of Communicating Systems
  • Basic CCS action names provide a static interaction vocabulary; they do not dynamically rewire the connectivity graph by name passing.

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:9dc374441c5b · see in the full table