Synchronous and Bidirectional Component Interfaces

DOI10.1007/3-540-45657-0_34zbMath1010.68518OpenAlexW1588015963MaRDI QIDQ4804913

Freddy Y. C. Mang, Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger

Publication date: 1 May 2003

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45657-0_34

Mathematics Subject Classification ID

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

Related Items (10)

Synthesizing structural and behavioral control for reconfigurations in component-based systems ⋮ Generalized interface automata with multicast synchronization ⋮ Compositional Control Synthesis for Partially Observable Systems ⋮ Integrating discrete controller synthesis into a reactive programming language compiler ⋮ The refinement calculus of reactive systems ⋮ Modal event-clock specifications for timed component-based design ⋮ Weighted modal transition systems ⋮ Interface synthesis and protocol conversion ⋮ Constraint Markov chains ⋮ Formal verification of safety protocol in train control system

This page was built for publication: Synchronous and Bidirectional Component Interfaces