A Business Process Design Language

This publication has 11 references indexed in Scilit:

• A unified framework for design and performance analysis of distributed systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model Checking for Managers
  Published by Springer Nature ,1999
• ARIS — Business Process Frameworks
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• On the role of basic design concepts in behaviour structuring
  Computer Networks and ISDN Systems, 1997
• Future manufacturing systems—Towards the extended enterprise
  Computers in Industry, 1995
• Tools for business-process reengineering
  IEEE Software, 1994
• A new approach to business processes
  IBM Systems Journal, 1993
• The action workflow approach to workflow management technology
  Published by Association for Computing Machinery (ACM) ,1992
• A speech-act-based office modeling approach
  ACM Transactions on Information Systems, 1988