Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851): Difference between revisions

@@ Property / cites work @@
+Q4953845
@@ Property / cites work: Q4953845 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+A Coordination Model for Interactive Components
@@ Property / cites work: A Coordination Model for Interactive Components / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification for Components and Connectors
@@ Property / cites work: Formal Verification for Components and Connectors / rank @@
+Normal rank
@@ Property / cites work @@
+The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
+Normal rank
@@ 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 @@
+Logic–Based Detection of Conflicts in Appel Policies
+Normal rank
@@ Property / cites work @@
+Q2989003
@@ Property / cites work: Q2989003 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Context-Dependent Channel-Based Service Models
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Realizability Conditions for Web Service Choreographies
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank