1875 search results - page 168 / 375 » A Calculus of Broadcasting Systems |
155
Voted
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
160
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
159
click to vote
LICS
2008
IEEE
16 years 11 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
132
click to vote
TGC
2007
Springer
16 years 2 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
177
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...