scientific article; zbMATH DE number 1231459
From MaRDI portal
Publication:4222760
zbMath0910.68118MaRDI QIDQ4222760
Publication date: 10 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#gordon
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
A theory of bisimulation for a fragment of concurrent ML with local names ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ \(\mathrm{HO}\pi\) in Coq ⋮ Distributed processes and location failures ⋮ Distributed processes and location failures ⋮ Using a generalisation critic to find bisimulations for coinductive proofs ⋮ A hidden agenda ⋮ Encoding FIX in Object Calculi ⋮ Bisimilarity of open terms. ⋮ Games and full abstraction for FPC. ⋮ The generic approximation lemma ⋮ Untyped lambda-calculus with input-output
This page was built for publication:
