Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky, editors, Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Volume 6154 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Conference: sfm2010

Abstract is missing.

Probabilistic Semantics and Program AnalysisAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky. 1-42 [doi]

Measurement-Based and Universal Blind Quantum ComputationAnne Broadbent, Joseph Fitzsimons, Elham Kashefi. 43-86 [doi]

Information Theory and Security: Quantitative Information FlowPasquale Malacaria, Jonathan Heusser. 87-134 [doi]

Performance and Security TradeoffKatinka Wolter, Philipp Reinecke. 135-167 [doi]

runs on WebDSL