Interface Refinement in Reactive Systems (Extended Abstract).

Rob Gerth Ruurd Kuiper John Segers Interface Refinement in Reactive Systems (Extended Abstract). 77-93 1992 conf/concur/1992 CONCUR db/conf/concur/concur1992.html#GerthKS92 http://dx.doi.org/10.1007/BFb0084784