#pi-calculus
Toutes les langues
Plus lus
Documents
Under consideration for publication in Math Struct in Comp Science
Documents
Rapports de stage
Under consideration for publication in Math Struct in Comp Science
4 pages
English
Lire
Infos
Documents
A Calculus for Secure Mobility
Documents
The pi calculus as a theory in linear logic: Preliminary results
Documents
Rapports de stage
The pi calculus as a theory in linear logic: Preliminary results
18 pages
English
Lire
Infos
Documents
A Framework for Analyzing Probabilistic Protocols and its Application to the Partial
Documents
Rapports de stage
A Framework for Analyzing Probabilistic Protocols and its Application to the Partial
6 pages
English
Lire
Infos
Documents
Mixing Finite Success and Finite Failure in an Automated Prover
Documents
Etudes supérieures
Mixing Finite Success and Finite Failure in an Automated Prover
20 pages
English
Lire
Infos
Documents
Automated Verification of Selected Equivalences for Security Protocols
Documents
Rapports de stage
Automated Verification of Selected Equivalences for Security Protocols
10 pages
English
Lire
Infos
Documents
FGUC Preliminary Version
Documents
MTCoord Preliminary Version
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
