Modal I/O Automata for Interface and Product Line Theories


Alfaro and Henzinger use alternating simulation in a two player game as a refinement for interface automata [1]. We show that interface automata correspond to a subset of modal transition systems of Larsen and Thomsen [2], on which alternating simulation coincides with modal refinement. As a consequence a more expressive interface theory may be built, by a… (More)
DOI: 10.1007/978-3-540-71316-6_6


3 Figures and Tables


Citations per Year

281 Citations

Semantic Scholar estimates that this publication has 281 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics