Logic based modeling and analysis of workflows
- 1 May 1998
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Extended transaction processing based on dependency rulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An overview of workflow management: From process modeling to workflow automation infrastructureDistributed and Parallel Databases, 1995
- An overview of transaction logicTheoretical Computer Science, 1994
- Organizing long-running activities with triggers and transactionsPublished by Association for Computing Machinery (ACM) ,1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986