In concurrent and distributed systems, processes can complete tasks together by playing
their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal …

Construction and analysis of distributed systems is difficult; choreographic programming is a
deadlock-freedom-by-construction approach to simplify it. In this paper, we present a new …

Legal compliance is an important part of certifying the correct behaviour of a business
process. To be compliant, organizations might hard-wire regulations into processes, limiting …

Blockchain technologies have emerged to serve as a trust basis for the monitoring and
execution of business processes, particularly business process choreographies. However …

Digitalization efforts often face a key challenge: business processes must not only be
efficient in achieving their goals but also adhere to legal regulations. Business process …

Collaborative work processes are widespread, and call for sophisticated modelling
techniques to guarantee that the in-focus process is able to suitably handle all the relevant …

Abstract Business Process Management communities increasingly adopt the blockchain
technology to support trustworthy decentralized execution of processes. In this context, the …

Blockchain technologies have emerged to serve as a trust basis for the monitoring and
execution of business processes, particularly business process choreographies. However …

Choreographic models express coordination between business roles, in contrast to standard
process models that merge local control flow and communication between parties. A …

Business processes, data, and run-time control state are all key elements in the design of
enterprise applications. However, the different layers for processes, data, and control are …