Resource Separation in Dynamic Logic of Propositional Assignments.

Joseph Boudou, Andreas Herzig, Nicolas Troquard

Browse the full TAP paper archive.