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

@@ Property / describes a project that uses @@
+JViews
@@ Property / describes a project that uses: JViews / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / 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.1016/j.scico.2009.09.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2131247527
@@ Property / OpenAlex ID: W2131247527 / rank @@
+Normal rank
@@ 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