Interface Refinement in Reactive Systems (Extended Abstract).

Rob Gerth, Ruurd Kuiper, John Segers

Browse the full CONCUR paper archive.