Title: A language for value-passing CCS
First published: 1991