32 citations · 59 across the 7 of their papers we have counts for
3 papers · 1 filter
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain
Yibin Xu, Tijs Slaats, Boris Düdder +2
We provide a practical translation from the Dynamic Condition Response (DCR) process modelling language to the Transaction Execution Approval Language (TEAL) used by the Algorand b…
Blockchains for Business Process Management - Challenges and Opportunities
Jan Mendling, Ingo Weber, Wil van der Aalst +29
Blockchain technology promises a sizable potential for executing inter-organizational business processes without requiring a central party serving as a single point of trust (and f…
Bigraphical Refinement
Gian Perrone, Søren Debois, Thomas Hildebrandt
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical struct…