Tiles for Reo
From MaRDI portal
Recommendations
- Reo: a channel-based coordination model for component composition
- Overview of thirty semantic formalisms for Reo
- 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>
- scientific article; zbMATH DE number 1361467
- Connector colouring. I: Synchronisation and context dependency
Cites work
- A basic algebra of stateless connectors
- A coinductive calculus of component connectors.
- An algebraic semantics for structured transition systems and its application to logic programs
- Conditional rewriting logic as a unified model of concurrency
- Connector colouring. I: Synchronisation and context dependency
- Connector rewriting with high-level replacement systems
- Graph rewriting, constraint solving and tiles for coordinating distributed systems
- scientific article; zbMATH DE number 177838 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- Modeling component connectors in Reo by constraint automata
- Reo: a channel-based coordination model for component composition
- The origins of structural operational semantics
Cited in
(8)- Modeling role-based systems with exogenous coordination
- A normal form for stateful connectors
- A connector algebra for P/T nets interactions
- Combine and conquer: relating BIP and Reo
- A model of context-dependent component connectors
- From hierarchical BIP to Petri calculus
- Behaviour, Interaction and Dynamics
- Channel-based coordination via constraint satisfaction
This page was built for publication: Tiles for Reo
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184723)
