value-passing CCS(ID:7872/)

Extension to CCS which allows parameterized agents and actions, and conditional expressions
Related languages
CCS => value-passing CCS   Evolution of
value-passing CCS => ACP   Augmentation of
value-passing CCS => Pi Calculus   Evolution of