Verification of Context-Dependent Channel-Based Service Models (Q3066118): Difference between revisions

@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Connector colouring. I: Synchronisation and context dependency
+Normal rank
@@ Property / cites work @@
+Q3614665
@@ Property / cites work: Q3614665 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Based Model Checking for Reo Connectors
@@ Property / cites work: Automata Based Model Checking for Reo Connectors / rank @@
+Normal rank
@@ Property / cites work @@
+Q2989003
@@ Property / cites work: Q2989003 / rank @@
+Normal rank