\input zb-basic
\input zb-ioport
\iteman{io-port 06083556}
\itemau{Miner More, Sara; Naumov, Pavel; Sapp, Benjamin}
\itemti{Concurrency semantics for the Geiger-Paz-Pearl axioms of independence.}
\itemso{Bezem, Marc (ed.), Computer science logic (CSL'11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12--15, 2011. Wadern: Schloss Dagstuhl -- Leibniz Zentrum f\"ur Informatik (ISBN 978-3-939897-32-3). LIPICS -- Leibniz International Proceedings in Informatics 12, 443-457, electronic only (2011).}
\itemab
Summary: Independence between two sets of random variables is a well-known relation in probability theory. Its origins trace back to Abraham de Moivre's work in the 18th century. The propositional theory of this relation was axiomatized by Geiger, Paz, and Pearl. Sutherland introduced a relation in information flow theory that later became known as ``nondeducibility". Subsequently, the first two authors generalized this relation from a relation between two arguments to a relation between two sets of arguments and proved that it is completely described by essentially the same axioms as independence in probability theory. This paper considers a non-interference relation between two groups of concurrent processes sharing common resources. Two such groups are called non-interfering if, when executed concurrently, the only way for them to reach deadlock is for one of the groups to deadlock internally. The paper shows that a complete axiomatization of this relation is given by the same Geiger-Paz-Pearl axioms.
\itemrv{~}
\itemcc{}
\itemut{independence; concurrency; information flow; axiomatization}
\itemli{doi:10.4230/LIPIcs.CSL.2011.443 http://subs.emis.de/LIPIcs/frontdoor\_41d4.html}
\end