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

Revision as of 11:23, 1 July 2023