Reading material
Lecture notes on CCS.
Additional material
Rance Cleaveland and Scott A. Smolka.
Process Algebra.
In J.G. Webster, editor,
Encyclopedia of Electrical Engineering.
John Wiley & Sons, 1999.
Question
Are two-way similarity and bisimilarity the same?