The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Communicating and mobile systems: the pi calculus

The work

AuthorsRobin Milner
Editors
Typebook
Year1999
Citekeymilner1999communicating

Where it appeared

PublisherCambridge university press

How it got here

How it got hereagent via bibtex
Added2026-10-25 22:42 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@book{milner1999communicating,
  title        = {Communicating and mobile systems: the pi calculus},
  author       = {Robin Milner},
  year         = {1999},
  publisher    = {Cambridge university press},
}

This record lives at https://refs.drheap.org/milner1999communicating/ and will keep doing so.