Interface theories for component-based design
From MaRDI portal
Recommendations
Cited in
(54)- Generalized interface automata with multicast synchronization
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Toward an algebraic theory of systems
- A semantic model for interacting cyber-physical systems
- Session coalgebras: a coalgebraic view on session types and communication protocols
- A survey of partial-observation stochastic parity games
- Using the compatibility analysis of logical specifications of automata to solve game problems
- Formal verification of safety protocol in train control system
- Moving from interface theories to assembly theories
- Richer interface automata with optimistic and pessimistic compatibility
- The refinement calculus of reactive systems
- Automated synthesis of application-layer connectors from automata-based specifications
- Modeling and specification of real-time interfaces with UTP
- An interface model of software components
- A formal framework for interactive agents
- Building a Modal Interface Theory for Concurrency and Data
- A modal interface theory with data constraints
- Graph Games and Reactive Synthesis
- Admissible Strategies in Infinite Games over Graphs
- The Complexity of Synthesis from Probabilistic Components
- Component publications and compositions
- Partial Order Reduction for State/Event LTL
- An interface theory for service-oriented design
- A survey of stochastic -regular games
- A bandwidth allocation scheme for compositional real-time systems with periodic resources
- On components with explicit protocols satisfying a notion of correctness by construction
- Component and interface refinement in closed-system specifications
- scientific article; zbMATH DE number 1508925 (Why is no real title available?)
- Threaded behavior protocols
- Synchronous and bidirectional component interfaces
- A theory of system interaction: components, interfaces, and services
- Bounded analysis and decomposition for behavioural descriptions of components
- scientific article; zbMATH DE number 7379290 (Why is no real title available?)
- Assembly theories for communication-safe component systems
- Feedback in synchronous relational interfaces
- A Theory Agenda for Component-Based Design
- Game models for open systems
- Architectural_Design_Patterns
- Contexts, refinement and determinism
- Interface theories for concurrency and data
- Frontiers of Combining Systems
- An \(O(n^2)\) time algorithm for alternating Büchi games
- Behavioural contracts for a sound assembly of components
- From interface automata to hypercontracts
- Information-flow interfaces
- A semantic model for interacting cyber-physical systems
- Synthesis from component libraries with costs
- Hypercontracts
- Information-flow interfaces
- Encapsulating deontic and branching time specifications
- Randomness for free
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components
- Multi-level hierarchical interface-based supervisory control
This page was built for publication: Interface theories for component-based design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473719)
