Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants

Verbeek, H. M. W.; van der Aalst, Wil M. P.; ter Hofstede, A. H. M.

Oxford : Oxford Univ. Press (2007)
Journal Article

In: The computer journal
Volume: 50
Issue: 3
Page(s)/Article-Nr.: 294-314


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]