Data optimizations for constraint automata (Q2974782): Difference between revisions

@@ Property / cites work @@
+Q4448373
@@ Property / cites work: Q4448373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3559280
@@ Property / cites work: Q3559280 / 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 @@
+On forward checking for non-binary constraint satisfaction.
+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 @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Combine and conquer: relating BIP and Reo
@@ Property / cites work: Combine and conquer: relating BIP and Reo / rank @@
+Normal rank
@@ Property / cites work @@
+Directed hypergraphs and applications
@@ Property / cites work: Directed hypergraphs and applications / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Topological sorting of large networks
@@ Property / cites work: Topological sorting of large networks / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reo circuits from scenario-based interaction specifications
+Normal rank
@@ Property / cites work @@
+The complexity of finding arborescences in hypergraphs
+Normal rank