Semantics of reactive systems : comparison and full abstraction [article]

C Cornelis = Kees Huizing, WP Willem-Paul De Roever, KM Kees Van Hee
1991
doi:10.6100/ir348201 fatcat:bhwkakb3wrcazjm72kpticzzka