2436 search results - page 110 / 488 » Comonadic Notions of Computation |
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
129
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
114
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
126
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper gives a theoretical framework for clustering a set of conceptual graphs characterized by sparse descriptions. The formed clusters are named in an intelligible manner thr...
121
click to vote
IWPEC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...