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

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5905031
@@ Property / zbMATH DE Number: 5905031 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+business process
@@ Property / zbMATH Keywords: business process / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+CSP
@@ Property / zbMATH Keywords: CSP / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+property specifications
@@ Property / zbMATH Keywords: property specifications / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement
@@ Property / zbMATH Keywords: refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantics
@@ Property / zbMATH Keywords: semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed behaviour
@@ Property / zbMATH Keywords: timed behaviour / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+workflow
@@ Property / zbMATH Keywords: workflow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR2
@@ Property / describes a project that uses: FDR2 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:541678