Behaviour Algebra(ID:7873/)

Precursor to the CCS by Milner in 1978

PCF	=>	Behaviour Algebra		Incorporated some features of
Behaviour Algebra	=>	CCS		Precursor