Cited By
View all- Crubille RDal Lago U(2015)Metric reasoning about λ-termsProceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS.2015.64(633-644)Online publication date: 6-Jul-2015
We present a call-by-need λ-calculus λND with an erratic non-deterministic operator pick and a non-recursive let. A definition of a bisimulation is given, which has to be based on a further calculus named λ≈, since the naïve bisimulation definition is ...
It has become a standard approach to reason about contextual equivalence using some notion of (bi)simulation. The main technical task of this approach is to show that (bi)simulation is a (pre)congruence, and hence is sound for reasoning about contextual ...
In process algebra, we can express security properties using an equivalence on processes. However, it is not clear which equivalence is the most suitable for the purpose. Indeed, several definitions of some properties are proposed. For example, ...
Elsevier Science Publishers Ltd.
United Kingdom
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in