Modal proofs as distributed programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2986, Issue , 2004, Pages 219-233

  Jia, Imin ^a   Walker, David ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE;

COMPUTATIONAL AGENTS; COMPUTATIONAL INTERPRETATIONS; DEDUCTIVE RULE; DISTRIBUTED PROGRAM; DISTRIBUTED PROGRAMMING LANGUAGES; EXTENDED ABSTRACTS; PORTABLE CODE; REMOTE PROCEDURE CALL;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 35048842280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24725-8_16     Document Type: Article

References (16)

1. Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Rémy, D.: A calculus of mobile agents. In: 7th International Conference on Concurrency Theory (CONCUR'96). Volume 1119 of Lecture Notes in Computer Science., Springer (1996) 406-421
2. Cardelli, L., Gordon, A.D.: Mobile ambiants. Theoretical Computer Science 240 (2000) 177-213
3. Lof, M.: On the meanings of the logical constants and the justifications of the logical laws. Technical Report 2, University of Siena (1985)
4. Pfenning, F.: Logical frameworks. In Robinson, A., Voronkov, A., eds.: Handbook of Automated Reasoning. Elscvier Science and MIT Press (2001) 977-1061
5. Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science 11 (2001) 511-540
6. Jia, L., Walker, D.: Modal proofs as distributed programs. Technical Report TR-671-03, Princeton University (2003)
7. Simpson, A.K.: The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh, Edinburgh (1994)
8. Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science 111 (1993) 3-57
9. Lincoln, P., Mitchell, J.: Operational aspects of linear lambda calculus. In: IEEE Symposium on Logic in Computer Science. (1992) 235-246
10. Chirimar, J., Gunter, C.A., Riecke, J.G.: Proving memory management invariants for a language based on linear logic. In: ACM Conference on Lisp and Functional Programming. (1992) 139-150
11. Turner, D.N., Wadler, P.: Operational interpretations of linear logic. Theoretical Computer Science 227 (1999) 231-248 Special issue on linear logic.
12. Prior, A.: Past, present and future. Oxford University press (1967)
13. Cardelli, L., Gordon, A.: Anytime, anywhere: Modal logics for mobile ambients. In: Twenty-Seventh ACM Symposium on Principles of Programming Languages, ACM Press (2000) 365-377
14. Kobayashi, N., Shimizu, T., Yonezawa, A.: Distributed concurrent linear logic programming. Theoretical Computer Science 227 (1999) 185-220
15. Davies, R., Pfenning, F.: A modal analysis of staged computation. Journal of the ACM 48 (2001) 555-604
16. Moody, J.: Modal logic as a basis for distributed computation. Technical Report CMU-CS-03-194, Carnegie Mellon University (2003)