swMATH6353MaRDI QIDQ18479FDOQ18479
Author name not available (Why is that?)
Official website: http://reo.project.cwi.nl/reo/
Cited In (only showing first 100 items - show all)
- A framework for automated distributed implementation of component-based models
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- Formal Methods for Components and Objects
- Synthesis of Reo circuits from scenario-based interaction specifications
- Modeling component connectors in Reo by constraint automata
- 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>
- Connector rewriting with high-level replacement systems
- Coordination models Orc and Reo compared
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- SAT-based verification for timed component connectors
- Connectors as designs: modeling, refinement and test case generation
- SAT-based verification for timed component connectors
- Symbolic execution of Reo circuits using constraint automata
- A model of context-dependent component connectors
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Recasting Constraint Automata into Büchi Automata
- Tiles for Reo
- Decision problems in a logic for reasoning about reconfigurable distributed systems
- Synthesis of Reo circuits from scenario-based specifications
- Connector algebras for C/E and P/T nets' interactions
- A basic algebra of stateless connectors
- D-Finder
- rbminer
- SCADE
- simpA
- Lutess
- Rapide
- mCRL2
- rCOS
- ArchJava
- TIMES
- Design/CPN
- MANIFOLD
- POOL
- YAWL
- HOL-OCL
- PICCOLA
- 2APL
- BPEL2oWFN
- Woflan
- Ptolemy
- PAGODA
- Reoservice
- LUSTRE
- M-nets
- KLAIM
- LIME
- Linda
- Genet
- Viptos
- FDR2
- CArtAgO
- Sisal
- UNITY
- VipTool
- SOFA 2.0
- Metropolis
- RALib
- AIOCJ
- Xtext
- OP2
- PACC starter kit
- Rigorous development of component-based systems using component metadata and patterns
- Verification of context-dependent channel-based service models
- Abstract behavior types: a foundation model for components and their composition
- DLC
- Esterel
- LNT2LOTOS
- Lucid
- Sigma*
- XTL
- Legion
- Dynamic Architectures
- FACTum
- Formal modeling and conformance validation for WS-CDL using Reo and CASM
- Connectors as designs
- Automated analysis of Reo circuits using symbolic execution
- A ground-complete axiomatization of stateless bisimilarity over Linda
- Architectural_Design_Patterns
- ReSpecT
- Title not available (Why is that?)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Combine and conquer: relating BIP and Reo
- Symbolic model checking for channel-based component connectors
- Comparing three coordination models: Reo, ARC, and PBRD
- Coordination: Reo, Nets, and Logic
- Causal semantics for the algebra of connectors
- Comparing three coordination models: Reo, ARC, and RRD
- A tutorial on coinductive stream calculus and signal flow graphs
- Compositional Semantics of System-Level Designs Written in SystemC
- Causal Semantics for the Algebra of Connectors
- Formal Verification for Components and Connectors
- An Alternative Algorithm for Constraint Automata Product
- CPO semantics of timed interactive actor networks
- ViewPoints
- On Resource-Sensitive Timed Component Connectors
- Alternating-time stream logic for multi-agent systems
- Formalization of an architectural model for exception handling coordination based on CA action concepts
- Consistent integration of models based on views of meta models
- A normal form for stateful connectors
This page was built for software: Reo
