Tempus fugit: How to plug it

DOI10.1016/J.JLAP.2007.02.007zbMath1119.68051OpenAlexW2150488274MaRDI QIDQ997994

Alessandra Di Pierro, Herbert Wiklicky, Chris Hankin, Igor A. Siveroni

Publication date: 10 August 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2007.02.007

zbMATH Keywords

program transformationsecurity analysisprobabilistic processestiming leaks

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Measuring the confinement of probabilistic systems
• Optimal state-space lumping in Markov chains
• Bisimulation through probabilistic testing
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules
• Reactive, generative, and stratified models of probabilistic processes
• Three Partition Refinement Algorithms
• Finite Continuous Time Markov Chains
• Transforming out timing leaks
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Tempus fugit: How to plug it