NSF Summer School on Language-Based Technologies for Concurrent and Distributed Software
|
|
Readings on Modal Logics for Distributed Computing
Trustless Grid Computing in
ConCert. Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning. GRID 2002, Baltimore, MD, November, 2002. A Constructive Logic for Services and Information Flow in Computer Networks -- Borghuis and Feijs 43
comjnl.oxfordjournals.org/cgi/content/abstract/43/... Tijn Borghuis and Loe Feijs.
A Constructive Logic for Services and Information Flow in Computer Networks.
Frank Pfenning and Rowan Davies.
A judgmental reconstruction of modal logic.
Mathematical Structures in Computer Science, 11:511-540, 2001.
Notes to an invited talk at the Workshop on Intuitionistic Modal
Logics and Applications (IMLA'99), Trento, Italy, July 1999. Limin Jia and David Walker. ESOP, April, 2004. Modal Proofs as Distributed Programs (extended abstract) A Symmetric Modal Lambda Calculus for Distributed Computing. Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning. Nineteenth IEEE Symposium on Logic in Computer Science, Turku, Finland, July, 2004. Modal Types for Mobile Code (Thesis Proposal). Tom Murphy VII, February, 2006. site A modal language for the safety of mobile values. Sungwoo Park, June, 2006. |