Locks are a classic data structure for concurrent programming. We introd...
We study Milner's encoding of the call-by-value λ-calculus into the
π-ca...
We study Milner's encoding of the call-by-value λ-calculus into the
π-ca...
The π -calculus is used as a model for programminglanguages. Its context...
We study proof techniques for bisimilarity based on unique solution of
e...