Behavioural equivalence, bisimulation, and minimal realisation (0)

by G Malcolm
Venue:In Selected papers from the 11th WS Specification of Abstract Data Types