307 search results - page 27 / 62 » Causality and the Semantics of Provenance |
91
Voted
CCS
2001
ACM
15 years 5 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
73
Voted
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
74
Voted
APAL
2006
15 years 16 days ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
102
Voted
FUIN
2008
15 years 15 days ago
2008
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
AML
2002
15 years 10 days ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...