A model of context-dependent component connectors (Q436387): Difference between revisions

@@ Property / author @@
-Marcello M. Bonsangue
@@ Property / author: Marcello M. Bonsangue / rank @@
-Normal rank
@@ Property / author @@
+Marcello M. Bonsangue
@@ Property / author: Marcello M. Bonsangue / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6059147
@@ Property / zbMATH DE Number: 6059147 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coordination
@@ Property / zbMATH Keywords: coordination / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+context dependency
@@ Property / zbMATH Keywords: context dependency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+component connector
@@ Property / zbMATH Keywords: component connector / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Reo
@@ Property / zbMATH Keywords: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Linda
@@ Property / describes a project that uses: Linda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MANIFOLD
@@ Property / describes a project that uses: MANIFOLD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PICCOLA
@@ Property / describes a project that uses: PICCOLA / 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.2011.01.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2099948923
@@ Property / OpenAlex ID: W2099948923 / 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 @@
+Tiles for Reo
@@ Property / cites work: Tiles for Reo / 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 @@
+A perspective on service orchestration
@@ Property / cites work: A perspective on service orchestration / rank @@
+Normal rank
@@ Property / cites work @@
+Causal Semantics for the Algebra of Connectors
@@ Property / cites work: Causal Semantics for the Algebra of Connectors / rank @@
+Normal rank
@@ Property / cites work @@
+A model of context-dependent component connectors
@@ Property / cites work: A model of context-dependent component connectors / rank @@
+Normal rank
@@ Property / cites work @@
+A basic algebra of stateless connectors
@@ Property / cites work: A basic algebra of stateless connectors / 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 @@
+Q4858578
@@ Property / cites work: Q4858578 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813226
@@ Property / cites work: Q4813226 / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Recasting Constraint Automata into Büchi Automata
+Normal rank
@@ Property / cites work @@
+Q5693581
@@ Property / cites work: Q5693581 / rank @@
+Normal rank
@@ Property / cites work @@
+Local variable scoping and Kleene algebra with tests
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+Q4251095
@@ Property / cites work: Q4251095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782021
@@ Property / cites work: Q4782021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331846
@@ Property / cites work: Q4331846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:436387