"Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence."

Sara Miner More, Pavel Naumov, Benjamin Sapp (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics