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
@@ Property / describes a project that uses @@
+CPN/Tools
@@ Property / describes a project that uses: CPN/Tools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Design/CPN
@@ Property / describes a project that uses: Design/CPN / 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 @@
+Woflan
@@ Property / describes a project that uses: Woflan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / 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.1007/s00165-011-0191-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2134016554
@@ Property / OpenAlex ID: W2134016554 / rank @@
+Normal rank