Pages that link to "Item:Q5900818"

The following pages link to Recent Trends in Algebraic Development Techniques (Q5900818):

Displaying 31 items.

• Combine and conquer: relating BIP and Reo (Q347371) (← links)
• 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 relational model for probabilistic connectors based on timed data distribution streams (Q1631223) (← links)
• A note on reactive transitions and Reo connectors (Q2028747) (← links)
• Formalizing propagation of priorities in Reo, using eight colors (Q2028748) (← links)
• Reo connectors and components as tagged signal models (Q2028750) (← links)
• A semantic model for interacting cyber-physical systems (Q2079682) (← links)
• From symbolic constraint automata to Promela (Q2168790) (← links)
• A formal framework for distributed cyber-physical systems (Q2168791) (← links)
• A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
• Connector colouring. I: Synchronisation and context dependency (Q2373643) (← 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)
• Generic Programming (Q5187880) (← links)
• Soft constraint automata with memory (Q5918138) (← links)
• ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)
• Runtime composition of systems of interacting cyber-physical components (Q6562520) (← links)