307 search results - page 11 / 62 » Causality and the Semantics of Provenance |
89
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
94
Voted
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
156
Voted
SIGMOD
2008
ACM
16 years 17 days ago
2008
ACM
Provenance, or records of the origin, context, custody, derivation or other historical information about a (digital) object, has recently become an important research topic in a n...
135
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
119
Voted
OTM
2009
Springer
15 years 7 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...