A theory of weak bisimulation for Core CML
From MaRDI portal
Publication:4236976
DOI10.1017/S0956796898003165zbMath0916.68093OpenAlexW2083792687MaRDI QIDQ4236976
William Ferreira, Alan Jeffrey, Matthew C. B. Hennessy
Publication date: 28 March 1999
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796898003165
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Related Items
A theory of bisimulation for a fragment of concurrent ML with local names, More on bisimulations for higher order \(\pi\)-calculus, A fully abstract may testing semantics for concurrent objects, A Typed Calculus for Querying Distributed XML Documents, Modelling dynamic web data, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
Uses Software
