Skip to content

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

Sara Miner More, Pavel Naumov, Benjamin Sapp

VenueBCSL
Year2011
ProceedingsCSL

Browse the full CSL paper archive.