Towards a theory of task suspension

Berndt Muller

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


In this paper we survey approaches dealing with the suspension of processes, actions, plans, goals, etc. found in the literature. The discussion focuses on the treatment in computer science but takes into account also other scientific areas in which suspension may arise. We aim at categorising the different forms of tasks and aspects that are relevant for suspended activities and then present an algebraic foundation for formalising a theory of suspension.
Original languageEnglish
Title of host publicationN/A
Number of pages10
Publication statusPublished - 1 Jan 2008
Event Concurrency, Specification, and Programming CSandP’2008 - Germany
Duration: 29 Sep 200829 Sep 2008


Conference Concurrency, Specification, and Programming CSandP’2008


  • task suspension
  • programming
  • concurrency


Dive into the research topics of 'Towards a theory of task suspension'. Together they form a unique fingerprint.

Cite this