3 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Andreas Bauer, Peter Baumgartner, Michael Norrish
We describe an approach to modelling and reasoning about data-centric business processes and present a form of general model checking. Our technique extends existing approaches, wh…