Bruns, Glenn "A Language for value-passing CCS" LFCS report ECS-LFCS-91-175

Languages mentioned

• ACP {1985} Algebra of Communicating Processes
• ACT ONE {1983} An Algebraic Specification Language
• LOTOS {1989} Specification language based on temporal ordering
• microCRL {1990} Algebraic specification