Practical Probability: Applying pGCL to Lattice Scheduling

DOI10.1007/978-3-642-39634-2_23zbMath1317.68206OpenAlexW1867430516MaRDI QIDQ5327352

David Cock

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Formalizing Probabilistic Noninterference

Uses Software

• Unnamed Item
• pGCL

This page was built for publication: Practical Probability: Applying pGCL to Lattice Scheduling