Modal Proofs as Distributed Programs (Extended Abstract).

Limin Jia, David Walker

Browse the full ESOP paper archive.