A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (Q6135767)

From MaRDI portal
scientific article; zbMATH DE number 7731928
Language Label Description Also known as
English
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
scientific article; zbMATH DE number 7731928

    Statements

    A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (English)
    0 references
    0 references
    0 references
    26 August 2023
    0 references
    0 references
    regular expressions
    0 references
    process theory
    0 references
    bisimilarity
    0 references
    coinduction
    0 references
    interpretational proof theory
    0 references
    proof transformations
    0 references
    derivable and admissible inference rules
    0 references