Pages that link to "Item:Q5900818"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5900818):
Displayed 19 items.
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Symbolic model checking for channel-based component connectors (Q2389338) (← links)
- A tutorial on coinductive stream calculus and signal flow graphs (Q2571208) (← links)
- A Formal Framework for Interactive Agents (Q2864512) (← links)
- Comparing Three Coordination Models: Reo, ARC, and RRD (Q2866318) (← links)
- Tiles for Reo (Q3184723) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Linear Temporal Logic of Constraint Automata (Q3628607) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (Q5179210) (← links)
- Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM (Q5179212) (← links)
- Soft constraint automata with memory (Q5918138) (← links)