Proper Treatment 正當作法/ logic/ Distributed control
2008-08-17 19:19

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.