Logic based modeling and analysis of workflows

This publication has 5 references indexed in Scilit:

• Extended transaction processing based on dependency rules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An overview of workflow management: From process modeling to workflow automation infrastructure
  Distributed and Parallel Databases, 1995
• An overview of transaction logic
  Theoretical Computer Science, 1994
• Organizing long-running activities with triggers and transactions
  Published by Association for Computing Machinery (ACM) ,1990
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986