DMCA

Typed Behavioural Equivalences for Processes in the Presence of Subtyping (2002)

Cached

Download Links

by Matthew Hennessy , Julian Rathke
Citations:40 - 12 self