Modelling and model checking suspendible business processes via statechart diagrams and CSP (Q869685)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modelling and model checking suspendible business processes via statechart diagrams and CSP |
scientific article; zbMATH DE number 5131648
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modelling and model checking suspendible business processes via statechart diagrams and CSP |
scientific article; zbMATH DE number 5131648 |
Statements
Modelling and model checking suspendible business processes via statechart diagrams and CSP (English)
0 references
8 March 2007
0 references
statechart diagrams
0 references
history mechanism
0 references
object behaviour
0 references
process modelling
0 references
model checking
0 references
0.7347449660301208
0 references
0.7322061657905579
0 references
0.7140373587608337
0 references
