159
click to vote
FOSSACS
16 years 2 days 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...
135
click to vote
FOSSACS
16 years 2 days 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 ...
138
click to vote
FOSSACS
16 years 2 days 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...
177
click to vote
FOSSACS
16 years 2 days 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...
136
click to vote
FOSSACS
15 years 11 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