Modal Interface Theories for Communication-Safe Component Assemblies

DOI10.1007/978-3-642-23283-1_11zbMath1350.68182OpenAlexW182908145MaRDI QIDQ3105749

Alexander Knapp, Rolf Hennicker

Publication date: 6 January 2012

Published in: Theoretical Aspects of Computing – ICTAC 2011 (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44448

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Compatibility in a multi-component environment ⋮ Foundations for Ensemble Modeling – The Helena Approach ⋮ Assembly Theories for Communication-Safe Component Systems ⋮ Moving from interface theories to assembly theories

Uses Software

• MIO Workbench

Cites Work

• On Weak Modal Compatibility, Refinement, and the MIO Workbench
• On Communicating Finite-State Machines
• Modal I/O Automata for Interface and Product Line Theories

This page was built for publication: Modal Interface Theories for Communication-Safe Component Assemblies