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.
|Nifer y tudalennau||10|
|Statws||Cyhoeddwyd - 1 Ion 2008|
|Digwyddiad|| Concurrency, Speciﬁcation, and Programming CSandP’2008 - Germany|
Hyd: 29 Sep 2008 → 29 Sep 2008
|Cynhadledd||Concurrency, Speciﬁcation, and Programming CSandP’2008|
|Cyfnod||29/09/08 → 29/09/08|