Formalisations and applications of BPMN (Q541678): Difference between revisions

@@ Property / cites work @@
+Contract Based Multi-party Service Composition
@@ Property / cites work: Contract Based Multi-party Service Composition / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of timed coordination models
+Normal rank
@@ Property / cites work @@
+Specification of communicating processes: temporal logic versus refusals-based refinement
+Normal rank
@@ Property / cites work @@
+Responsiveness of interoperating components
@@ Property / cites work: Responsiveness of interoperating components / rank @@
+Normal rank
@@ Property / cites work @@
+A Relative Timed Semantics for BPMN
@@ Property / cites work: A Relative Timed Semantics for BPMN / rank @@
+Normal rank
@@ Property / cites work @@
+Property Specifications for Workflow Modelling
@@ Property / cites work: Property Specifications for Workflow Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank