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