Probabilistic Confinement in a Declarative Framework

DOI10.1016/S1571-0661(04)00152-5zbMath1263.68044OpenAlexW2137174159MaRDI QIDQ4923521

Chris Hankin, Alessandra Di Pierro, Herbert Wiklicky

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00152-5

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Measuring the confinement of probabilistic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Nondeterminism and infinite computations in constraint programming
• Verifying secrets and relative secrecy

This page was built for publication: Probabilistic Confinement in a Declarative Framework