417 search results - page 18 / 84 » Results on Reasoning about Updates in Transaction Logic |
92
Voted
ICDCS
2003
IEEE
15 years 5 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
103
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
81
Voted
ESSLLI
1999
Springer
15 years 4 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
105
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
107
Voted
CSL
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...