Towards a theory of task suspension

Berndt Muller

Towards a theory of task suspension

Berndt Muller

Cyfadran Cyfrifiadureg, Peirianneg a Gwyddoniaeth

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad i gynhadledd › adolygiad gan gymheiriaid

Crynodeb

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.

Iaith wreiddiol	Saesneg
Teitl	N/A
Nifer y tudalennau	10
Statws	Cyhoeddwyd - 1 Ion 2008
Digwyddiad	Concurrency, Speciﬁcation, and Programming CSandP’2008 - Germany Hyd: 29 Medi 2008 → 29 Medi 2008

Cynhadledd

Cynhadledd	Concurrency, Speciﬁcation, and Programming CSandP’2008
Cyfnod	29/09/08 → 29/09/08

Dyfynnu hyn

@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

Crynodeb

Cynhadledd

Ôl bys

Dyfynnu hyn