Title: Proof techniques for CCS
First published: 1982
Subjects: Theoretical computer science