Typed behavioural equivalences for processes in the presence of subtyping (0)

by M Hennessy, J Rathke
Venue:Mathematical Structures in Computer Science