Tom Murphy VII, Karl Crary, and Robert Harper. 2005. Distributed control flow with classical modal logic. In Computer science logic: 19th international workshop, CSL 2005, ed. C.-H. Luke Ong, 51–69. Lecture Notes in Computer Science 3634, Berlin: Springer-Verlag.

Discuss this paper by editing this page.