A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
A theory of bisimulation for a fragment of concurrent ML with local names
scientific article

    Statements

    Identifiers