Feedback in Synchronous Relational Interfaces
From MaRDI portal
Publication:5170752
DOI10.1007/978-3-642-54848-2_17zbMath1416.68115OpenAlexW186275034MaRDI QIDQ5170752
Chris Shaver, Stavros Tripakis
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
Uses Software
Cites Work
- Unnamed Item
- A fully abstract trace model for dataflow and asynchronous networks
- Property preserving abstractions for the verification of concurrent systems
- The semantics and execution of a synchronous block-diagram language.
- Composition for component-based modeling
- A framework for automated distributed implementation of component-based models
- A Notion of Glue Expressiveness for Component-Based Systems
- The Algebra of Connectors—Structuring Interaction in BIP
- Compositional specification of timed systems