Comparing three coordination models: Reo, ARC, and PBRD (Q608351): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2009.11.006
@@ Property / DOI: 10.1016/j.scico.2009.11.006 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2009.11.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2024775438
@@ Property / OpenAlex ID: W2024775438 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Q3046721
@@ Property / cites work: Q3046721 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
+Normal rank
@@ Property / cites work @@
+Composition of Interacting Computations
@@ Property / cites work: Composition of Interacting Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Composable semantic models for actor theories
@@ Property / cites work: Composable semantic models for actor theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703711
@@ Property / cites work: Q2703711 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract behavior types: a foundation model for components and their composition
+Normal rank
@@ Property / cites work @@
+Formal ReSpecT
@@ Property / cites work: Formal ReSpecT / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about meta level activities in open distributed systems
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q2764142
@@ Property / cites work: Q2764142 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical aspects of coordination languages
@@ Property / cites work: Theoretical aspects of coordination languages / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+Actor languages. Their syntax, semantics, translation, and equivalence
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312468
@@ Property / cites work: Q4312468 / rank @@
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+Q4738345
@@ Property / cites work: Q4738345 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Connector colouring. I: Synchronisation and context dependency
+Normal rank
@@ Property / cites work @@
+Q5457269
@@ Property / cites work: Q5457269 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for channel-based component connectors
+Normal rank
@@ Property / cites work @@
+The Temporal Logic of Rewriting: A Gentle Introduction
+Normal rank
@@ Property / cites work @@
+A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
+Normal rank
@@ Property / cites work @@
+An Alternative Algorithm for Constraint Automata Product
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2009.11.006
@@ Property / DOI: 10.1016/J.SCICO.2009.11.006 / rank @@
+Normal rank