University of Sussex
Browse

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 Jeffrey
No description supplied

History

Publication status

  • Published

Journal

Journal of Functional Programming

Volume

8

Page range

447-491

ISBN

0956-7968

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC