Generic Forward and Backward Simulations (0)

by I Hasuo
Venue:in CONCUR 2006 — Concurrency Theory