Towards a theory of task suspension

Berndt Muller

Towards a theory of task suspension

Berndt Muller

Faculty of Computing, Engineering and Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 language	English
Title of host publication	N/A
Number of pages	10
Publication status	Published - 1 Jan 2008
Event	Concurrency, Speciﬁcation, and Programming CSandP’2008 - Germany Duration: 29 Sept 2008 → 29 Sept 2008

Conference

Conference	Concurrency, Speciﬁcation, and Programming CSandP’2008
Period	29/09/08 → 29/09/08

Keywords

task suspension
programming
concurrency

Cite this

@inproceedings{670784da02c242bfa088ea0deb450758,

title = "Towards a theory of task suspension",

abstract = "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.",

keywords = "task suspension, programming, concurrency",

author = "Berndt Muller",

year = "2008",

month = jan,

day = "1",

language = "English",

booktitle = "N/A",

note = " Concurrency, Speciﬁcation, and Programming CSandP{\textquoteright}2008 ; Conference date: 29-09-2008 Through 29-09-2008",

}

TY - GEN

T1 - Towards a theory of task suspension

AU - Muller, Berndt

PY - 2008/1/1

Y1 - 2008/1/1

N2 - 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.

AB - 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.

KW - task suspension

KW - programming

KW - concurrency

M3 - Conference contribution

BT - N/A

T2 - Concurrency, Speciﬁcation, and Programming CSandP’2008

Y2 - 29 September 2008 through 29 September 2008

ER -

Towards a theory of task suspension

Abstract

Conference

Keywords

Fingerprint

Cite this