Connector Rewriting with High-Level Replacement Systems (Q2866320): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2008.03.100
@@ Property / DOI: 10.1016/j.entcs.2008.03.100 / 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 @@
+Reoservice
@@ Property / describes a project that uses: Reoservice / 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.entcs.2008.03.100
+Normal rank
@@ Property / OpenAlex ID @@
+W2121940446
@@ Property / OpenAlex ID: W2121940446 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Inheritance of behavior
@@ Property / cites work: Inheritance of behavior / rank @@
+Normal rank
@@ Property / cites work @@
+Q2772444
@@ Property / cites work: Q2772444 / 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 @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency in high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Structural and behavioural compatibility of graphical service specifications
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for channel-based component connectors
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3142554
@@ Property / cites work: Q3142554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739564
@@ Property / cites work: Q4739564 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2008.03.100
@@ Property / DOI: 10.1016/J.ENTCS.2008.03.100 / rank @@
+Normal rank