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

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

    Statements

    A theory of bisimulation for a fragment of concurrent ML with local names (English)
    0 references
    0 references
    0 references
    1 October 2004
    0 references
    Concurrency
    0 references
    Higher-order functions
    0 references
    Bisimulation
    0 references
    Local names
    0 references

    Identifiers