Verification of Business Processes for a Correspondence Handling Center using CCS
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Agent-enhanced WorkflowBT Technology Journal, 1998
- Verification of workflow netsPublished by Springer Nature ,1997
- Correctness issues in workflow managementDistributed Systems Engineering, 1996
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- The concurrency workbenchPublished by Springer Nature ,1990
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977