2 0 Introduction of civil servants at the tax office, all need to know what to do and when to do
it. At some point, the need arises to establish workflows. This way, one tries to make sure …

TopHat is a mathematically formalized language for Task-Oriented Programming (top). It
allows developers to specify workflows and business processes in a formal language …

Task-Oriented Programming is a declarative programming paradigm where the main
building blocks are tasks. Tasks represent work and have an observable task value. Tasks …