Feedback in synchronous relational interfaces

DOI10.1007/978-3-642-54848-2_17zbMATH Open1416.68115OpenAlexW186275034MaRDI QIDQ5170752FDOQ5170752

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Uses Software

• D-Finder
• Esterel

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)