File(s) not publicly available
A Theory of Weak Bisimulation for Core CML.
journal contribution
posted on 2023-06-07, 20:57 authored by William Ferreira, Matthew Hennessy, Alan JeffreyNo description supplied
History
Publication status
- Published
Journal
Journal of Functional ProgrammingVolume
8Page range
447-491ISBN
0956-7968Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC