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

DOI10.4230/LIPIcs.CSL.2011.443zbMath1247.68191OpenAlexW2270027985MaRDI QIDQ2915702

Benjamin Sapp, Pavel Naumov, Sara Miner More

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_41d4.html

zbMATH Keywords

independenceconcurrencyaxiomatizationinformation flow

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Independence in information spaces ⋮ On interchangeability of Nash equilibria in multi-player strategic games ⋮ Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions ⋮ Game Semantics for the Geiger-Paz-Pearl Axioms of Independence

This page was built for publication: Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence