Relating Alternating Relations for Conformance and Refinement

• Published in: Integrated Formal Methods Vol. 11918; pp. 246 - 264
• Main Authors: Janssen, Ramon, Vaandrager, Frits, Tretmans, Jan
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2019; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Alternating refinement; Interface automata; ioco; uioco

Various relations have been defined to express refinement and conformance for state-transition systems with inputs and outputs, such as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepac...