Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192)

From MaRDI portal
scientific article; zbMATH DE number 7639914
Language Label Description Also known as
English
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
scientific article; zbMATH DE number 7639914

    Statements

    Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (English)
    0 references
    0 references
    0 references
    0 references
    9 January 2023
    0 references
    bisimulation
    0 references
    partition refinement
    0 references
    modal logic
    0 references
    distinguishing formulae
    0 references
    coalgebra
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers