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.68077MaRDI 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

coordination; constraint satisfaction; Reo; connector colouring; constraint automata

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68M14: Distributed systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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