A calculus of mobile processes, II
Robin Milner, Joachim Parrow low, David Walker
No abstract in the source record.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
Links
Topics
| Logic, programming, and type systems | Computer Science |
| Logic, Reasoning, and Knowledge | Computer Science |
| Distributed systems and fault tolerance | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports3 author record(s) attached.
- supports1 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 7bc26169e93749d1…