Probabilistic Confinement in a Declarative Framework
Open Access
- 30 June 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 48, 108-130
- https://doi.org/10.1016/s1571-0661(04)00152-5
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- An operational semantics for probabilistic concurrent constraint programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Probabilistic noninterference for multi-threaded programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Measuring the Precision of Abstract InterpretationsPublished by Springer Nature ,2001
- Probabilistic concurrent constraint programming: Towards a fully abstract modelPublished by Springer Nature ,1998
- Probabilistic concurrent constraint programmingPublished by Springer Nature ,1997
- Nondeterminism and infinite computations in constraint programmingTheoretical Computer Science, 1995
- Concurrent constraint programmingPublished by Association for Computing Machinery (ACM) ,1990
- Probabilistic interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- A note on the confinement problemCommunications of the ACM, 1973