Skip to content

Behavioural Equivalence, Bisimulation, and Minimal Realisation.

Grant Malcolm

Year1995
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.