Symbolic bisimulations (1995)

by M Hennessy, H Lin
Venue:Theoretical Computer Science