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>

DOI10.1016/j.entcs.2009.06.028zbMath1347.68077OpenAlexW2033457623MaRDI QIDQ5179204

Farhad Arbab, José Proença, Alexander Lazovik, Dave Clarke

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.028

zbMATH Keywords

coordinationconstraint satisfactionReoconnector colouringconstraint automata

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A model of context-dependent component connectors ⋮ Channel-based coordination via constraint satisfaction ⋮ Automatic radial distortion estimation from a single image

Uses Software

• Reo

Cites Work

• Timed default concurrent constraint programming
• Truly concurrent constraint programming
• Abstract behavior types: a foundation model for components and their composition
• Connector colouring. I: Synchronisation and context dependency
• Open constraint programming
• Modeling component connectors in Reo by constraint automata
• Principles of Constraint Programming
• Reo: a channel-based coordination model for component composition
• From Propositional Satisfiability to Satisfiability Modulo Theories

This page was built for publication: 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>