CONCUR 2003 - Concurrency Theory (Q5900575)

From MaRDI portal
scientific article; zbMATH DE number 5688270
Language Label Description Also known as
English
CONCUR 2003 - Concurrency Theory
scientific article; zbMATH DE number 5688270

    Statements

    CONCUR 2003 - Concurrency Theory (English)
    0 references
    0 references
    30 March 2010
    0 references
    0 references
    cryptographic protocols
    0 references
    probabilistic process calculus
    0 references
    computational security
    0 references
    composition theorem
    0 references
    0 references