Adding Branching to the Strand Space Model (Q5170670)

From MaRDI portal
scientific article; zbMATH DE number 6320177
Language Label Description Also known as
English
Adding Branching to the Strand Space Model
scientific article; zbMATH DE number 6320177

    Statements

    Adding Branching to the Strand Space Model (English)
    0 references
    23 July 2014
    0 references
    models for security protocol analysis
    0 references
    strand spaces
    0 references
    event structures
    0 references
    branching processes
    0 references

    Identifiers