An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic.

Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia

Browse the full PPDP paper archive.