Reo
From MaRDI portal
Cited in
(only showing first 100 items - show all)- D-Finder
- VirtuosoNext
- rbminer
- SCADE
- simpA
- Rapide
- Lutess
- TIMES
- mCRL2
- rCOS
- ArchJava
- Design/CPN
- MANIFOLD
- POOL
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- YAWL
- Associative composition of components with double-sided interfaces
- Abstract behavior types: a foundation model for components and their composition
- HOL-OCL
- PICCOLA
- 2APL
- BPEL2oWFN
- Woflan
- A framework for automated distributed implementation of component-based models
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- Ptolemy
- Formal modeling of evolving self-adaptive systems
- Partition refinement of component interaction automata
- Proper protocol
- Modeling role-based systems with exogenous coordination
- A note on reactive transitions and Reo connectors
- Formalizing propagation of priorities in Reo, using eight colors
- Static and dynamic property-preserving updates
- Reoservice
- PAGODA
- Probabilistic mediator: a coalgebraic perspective
- LUSTRE
- Decision problems in a logic for reasoning about reconfigurable distributed systems
- M-nets
- Viptos
- KLAIM
- LIME
- Linda
- Protocol scheduling
- From symbolic constraint automata to Promela
- Genet
- The \texttt{link}-calculus for open multiparty interactions
- Asynchronous stream processing with S-Net
- Interactive verification of architectural design patterns in FACTum
- FDR2
- Compositional construction of most general controllers
- CArtAgO
- Coordinating mobile agents in interaction spaces
- Symbolic model checking for channel-based component connectors
- Modeling component connectors in Reo by constraint automata
- UNITY
- Sisal
- VipTool
- A tutorial on coinductive stream calculus and signal flow graphs
- SOFA 2.0
- Compositional failure-based equivalence of constraint automata
- Xtext
- RALib
- Metropolis
- Connector algebras for C/E and P/T nets' interactions
- Comparing three coordination models: Reo, ARC, and RRD
- Coordination models Orc and Reo compared
- Connector rewriting with high-level replacement systems
- AIOCJ
- Specification guidelines to avoid the state space explosion problem
- PACC starter kit
- OP2
- A normal form for stateful connectors
- Data optimizations for constraint automata
- SAT-based verification for timed component connectors
- Connectors as designs
- Automated analysis of Reo circuits using symbolic execution
- Verification of context-dependent channel-based service models
- A connector algebra for P/T nets interactions
- DLC
- Esterel
- Tiles for Reo
- LNT2LOTOS
- Lucid
- Rigorous development of component-based systems using component metadata and patterns
- Sigma*
- XTL
- QoS-driven service selection and composition using quantitative constraint automata
- Automata based model checking for Reo connectors
- A Coordination Model for Interactive Components
- A component coordination model based on mobile channels
- Combine and conquer: relating BIP and Reo
- Compositional Semantics of System-Level Designs Written in SystemC
- An Alternative Algorithm for Constraint Automata Product
- Sampling, splitting and merging in coinductive stream calculus
- Causal Semantics for the Algebra of Connectors
- Coordination: Reo, Nets, and Logic
- scientific article; zbMATH DE number 5519816 (Why is no real title available?)
- Formal Verification for Components and Connectors
- Legion
This page was built for software: Reo
