Modal I/O Automata for Interface and Product Line Theories

Abstract

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

Topics

3 Figures and Tables

Statistics

0204060'07'08'09'10'11'12'13'14'15'16'17'18
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