A Relative Timed Semantics for BPMN (Q5179205)
From MaRDI portal
scientific article; zbMATH DE number 6417181
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Relative Timed Semantics for BPMN |
scientific article; zbMATH DE number 6417181 |
Statements
A Relative Timed Semantics for BPMN (English)
0 references
19 March 2015
0 references
business process
0 references
CSP
0 references
refinement
0 references
timed semantics
0 references
verification
0 references
workflow
0 references
