A process-algebraic approach to workflow specification and refinement
This paper describes a process-algebraic approach to specification and refinement of workflow processes. In particular, we model both specification and implementation of workflows as CSP processes. CSP's behavioural models and their respective refinement relations not only enable us to prove co...
| Autores principales: | , |
|---|---|
| Formato: | Conference item |
| Publicado: |
2007
|
Search Result 1
A Process−Algebraic Approach to Workflow Specification and Refinement
Publicado 2007
Conference item
Search Result 2
A Process−Algebraic Approach to Workflow Specification and Refinement
Publicado 2007
Conference item