×

Found 8 Documents (Results 1–8)

Algebra for quantitative information flow. (English) Zbl 1486.68044

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 3-23 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Abstract hidden Markov models: a monadic account of quantitative information flow. (English) Zbl 1401.68046

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 597-608 (2015).
PDFBibTeX XMLCite
Full Text: DOI

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs. (English) Zbl 1456.68027

Di Pierro, Alessandra (ed.) et al., Proceedings of the eighth workshop on quantitative aspects of programming languages, Paphos, Cyprus, March 27–28, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 28, 129-143 (2010).
MSC:  68N30 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: Link

A generalisation of stationary distributions, and probabilistic program algebra. (English) Zbl 1260.68107

Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 269-279 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software