Interface Refinement in Reactive Systems (Extended Abstract).

Rob Gerth Ruurd Kuiper John Segers

Published in: CONCUR (1992)

Keyphrases

extended abstract
reactive systems
temporal logic
model checking
information flow
petri net
user interface
control flow
user friendly
formal methods
real time systems
data mining
multi agent systems
interface design
state machines