A formal foundation for distributed workflow execution based on state charts

This publication has 14 references indexed in Scilit:

• Distributable nets
  Published by Springer Nature ,2005
• The Mentor project: steps towards enterprise-wide workflow management
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A formal foundation for distributed workflow execution based on state charts
  Published by Springer Nature ,1997
• Report from the NSF workshop on workflow and process automation in information systems
  ACM SIGMOD Record, 1996
• An overview of workflow management: From process modeling to workflow automation infrastructure
  Distributed and Parallel Databases, 1995
• A comparison of Statecharts variants
  Published by Springer Nature ,1994
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Temporal and Modal Logic
  Published by Elsevier ,1990
• On visual formalisms
  Communications of the ACM, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987