The following pages link to Reo (Q18479):
Displaying 28 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Combine and conquer: relating BIP and Reo (Q347371) (← links)
- SAT-based verification for timed component connectors (Q433331) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354) (← links)
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- A general framework for architecture composability (Q736458) (← links)
- Active learning for extended finite state machines (Q736459) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Formalization of an architectural model for exception handling coordination based on CA action concepts (Q967556) (← links)
- Consistent integration of models based on views of meta models (Q973049) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Abstract behavior types: a foundation model for components and their composition (Q1776573) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)
