23 search results - page 4 / 5 » A Sequent Calculus for Modelling Interferences |
122
Voted
MSCS
2007
14 years 12 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
131
click to vote
WOLLIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
122
Voted
LOGCOM
2007
15 years 8 days ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
CORR
2010
Springer
15 years 15 days ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
89
Voted
ENTCS
2006
15 years 12 days ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...