132
click to vote
FOSSACS
15 years 10 months ago
2010 Springer 
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
118
click to vote
FOSSACS
15 years 10 months ago
2010 Springer 
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
111
click to vote
FOSSACS
15 years 10 months ago
2010 Springer 
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
156
click to vote
FOSSACS
15 years 10 months ago
2010 Springer 
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
110
click to vote
FOSSACS
15 years 9 months ago
2010 Springer 
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
|
Software Engineering