An Extensible Interpreter for Value-Passing CCS (1995)

by Ed Harcourt