Behavioural Equivalence Relations Induced by Programming Logics.

Stephen D. Brookes, William C. Rounds

Browse the full ICALP paper archive.