Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431)

From MaRDI portal
scientific article; zbMATH DE number 7378561
Language Label Description Also known as
English
Up-To Techniques for Behavioural Metrics via Fibrations
scientific article; zbMATH DE number 7378561

    Statements

    0 references
    0 references
    0 references
    4 August 2021
    0 references
    behavioural metrics
    0 references
    bisimilarity
    0 references
    up-to techniques
    0 references
    coalgebras
    0 references
    fibrations
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Up-To Techniques for Behavioural Metrics via Fibrations (English)
    0 references

    Identifiers