TGC 2013: Buenos Aires, Argentina

Invited Papers

Security

pi-Calculus

Information Flow

Models, Specifications, and Proofs

Quantitative Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics