Tijs Slaats - IT University of Copenhagen, Exformatics A/S

Tijs Slaats
Are you Tijs Slaats?

Claim your profile, edit publications, add additional information:

Contact Details

Tijs Slaats
IT University of Copenhagen, Exformatics A/S

Pubs By Year

Pub Categories

Computer Science - Logic in Computer Science (1)
Computer Science - Software Engineering (1)

Publications Authored By Tijs Slaats

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 failure). This paper analyzes its impact on business process management (BPM). We structure the discussion using two BPM frameworks, namely the six BPM core capabilities and the BPM lifecycle. Read More

Affiliations: 1IT University of Copenhagen, 2IT University of Copenhagen, 3IT University of Copenhagen, Exformatics A/S, 4Imperial College, London, Department of Computing

We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and select types of the standard binary session types with a set of required responses, indicating that whenever a particular label is selected, a set of other labels, its responses, must eventually also be selected. We prove that these extended types are strictly more expressive than standard session types. Read More