A coinduction principle for recursive data types based on bisimulation (Q1923102)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A coinduction principle for recursive data types based on bisimulation
scientific article

    Statements

    A coinduction principle for recursive data types based on bisimulation (English)
    0 references
    0 references
    17 August 1997
    0 references
    0 references
    bisimulation
    0 references
    concurrency theory
    0 references
    bisimulations
    0 references
    0 references