Edinburgh LCF Implementation

Behaviour Algebra 1 Incorporated some features of
1
CCS 1 Precursor
1
A# 1 Based on
1