DMCA

Behavioural Equivalence, Bisimulation, and Minimal Realisation (1996)

Cached

Download Links

by Grant Malcolm
Venue:Recent Trends in Data Type Specifications
Citations:11 - 2 self