CCS Influence
SML Extension of

SML with CCS style processes