155 search results - page 23 / 31 » Compositional Predicate Abstraction from Game Semantics |
DSN
2002
IEEE
13 years 11 months ago
2002
IEEE
View Synchrony (VS) is a powerful abstraction in the design and implementation of dependable distributed systems. By ensuring that processes deliver the same set of messages in ea...
CAV
2009
Springer
14 years 7 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
CSL
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
CONTEXT
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
WOLLIC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...