2432 search results - page 75 / 487 » Cryptographic logical relations |
JSYML
2010
14 years 4 months ago
2010
We reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than...
100
click to vote
LOGCOM
2007
14 years 10 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
82
Voted
FMCO
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
110
click to vote
TCS
2010
14 years 4 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...