3239 search results - page 136 / 648 » A Logical Process Calculus |
70
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
84
Voted
FOSSACS
1998
Springer
15 years 5 months ago
1998
Springer
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.
113
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
92
Voted
AAAI
2007
15 years 3 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
112
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...