Synthesizing distributed constrained events from transactional workflow specifications

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
• Advanced rule driven transaction management
  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
• Action logic and pure induction
  Published by Springer Nature ,1991
• Actors
  Published by MIT Press ,1986