Feedback in synchronous relational interfaces

DOI10.1007/978-3-642-54848-2_17MaRDI QIDQ5170752zbMATH OpenOpenAlexFDO

Authors Stavros Tripakis, Chris Shaver

Publication date 24 July 2014

Published in From Programs to Systems. The Systems perspective in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54848-2_17

Mathematics Subject Classification ID

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

Recommendations

• Synchronous and Bidirectional Component Interfaces
• Frontiers of Combining Systems
• scientific article; zbMATH DE number 2017345
• An algebraic theory of interface automata
• A modal interface theory with data constraints

Cites work

• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• A Notion of Glue Expressiveness for Component-Based Systems
• A framework for automated distributed implementation of component-based models
• A fully abstract trace model for dataflow and asynchronous networks
• Composition for component-based modeling
• Compositional specification of timed systems
• Property preserving abstractions for the verification of concurrent systems
• The Algebra of Connectors—Structuring Interaction in BIP
• The semantics and execution of a synchronous block-diagram language.

Cited in

(1)

• Towards compositional feedback in non-deterministic and non-input-receptive systems

Describes a project that uses

Uses Software

• Esterel
• D-Finder

This page was built for publication: Feedback in synchronous relational interfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170752)