Normal view
MARC view
Pi-calculus. (Topical Term)
Machine generated authority record.
Work cat.: (MY-SjTCS): Milner, R. (Robin), 1934- 91348, Communicating and mobile systems :, 1999