Pages that link to "Item:Q1776573"
From MaRDI portal
The following pages link to Abstract behavior types: a foundation model for components and their composition (Q1776573):
Displayed 14 items.
- A model of context-dependent component connectors (Q436387) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- Protocol scheduling (Q2145259) (← links)
- Compositional Failure-based Equivalence of Constraint Automata (Q2810975) (← links)
- Data optimizations for constraint automata (Q2974782) (← links)
- Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
- Causal Semantics for the Algebra of Connectors (Q3602997) (← links)
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math> (Q5179204) (← links)
- The ARC Programming Model – Language Constructs for Coordination (Q5179208) (← links)
- Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (Q5179210) (← links)