A Logical Characterisation of Static Equivalence (Q5262936)

From MaRDI portal
scientific article; zbMATH DE number 6457553
Language Label Description Also known as
English
A Logical Characterisation of Static Equivalence
scientific article; zbMATH DE number 6457553

    Statements

    A Logical Characterisation of Static Equivalence (English)
    0 references
    0 references
    0 references
    10 July 2015
    0 references
    frames
    0 references
    static equivalence
    0 references
    logic
    0 references
    cryptographic protocols
    0 references
    applied pi-calculus
    0 references

    Identifiers