Channel-based coordination via constraint satisfaction (Q541681): Difference between revisions

@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Linda
@@ Property / describes a project that uses: Linda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2010.05.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1976704523
@@ Property / OpenAlex ID: W1976704523 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Abstract behavior types: a foundation model for components and their composition
+Normal rank
@@ Property / cites work @@
+Composition of Interacting Computations
@@ Property / cites work: Composition of Interacting Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Tiles for Reo
@@ Property / cites work: Tiles for Reo / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reo Circuits from Scenario-based Specifications
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Coordination: Reo, Nets, and Logic
@@ Property / cites work: Coordination: Reo, Nets, and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457269
@@ Property / cites work: Q5457269 / rank @@
+Normal rank
@@ Property / cites work @@
+Connector colouring. I: Synchronisation and context dependency
+Normal rank
@@ Property / cites work @@
+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>
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+Connector Rewriting with High-Level Replacement Systems
+Normal rank
@@ Property / cites work @@
+On Resource-Sensitive Timed Component Connectors
@@ Property / cites work: On Resource-Sensitive Timed Component Connectors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Timed default concurrent constraint programming
@@ Property / cites work: Timed default concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+From Propositional Satisfiability to Satisfiability Modulo Theories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:541681