Distributed Control Flow with Classical Modal Logic (2005)  (Make Corrections)  (3 citations) Tom Murphy VII, Karl Crary, Robert Harper   Home/Search   Context   Related

View or download: cmu.edu/~rwh/papers/cs5/short.pdf Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  cmu.edu/~rwh/papers (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@misc{ vii05distributed,
  author = "M. VII and T. Crary and K. Harper",
  title = "Distributed control flow with classical modal logic",
  text = "Murphy VII, Tom, Crary, Karl, & Harper, Robert. (2005). Distributed control
    flow with classical modal logic. Computer Science Logic.",
  year = "2005",
  url = "citeseer.ist.psu.edu/article/vii05distributed.html" }