메뉴 건너뛰기




Volumn 3634, Issue , 2005, Pages 51-69

Distributed control flow with classical modal logic

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; FLOW CONTROL; RELIABILITY; RESOURCE ALLOCATION; THEOREM PROVING;

EID: 26944461162     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538363_6     Document Type: Conference Paper
Times cited : (18)

References (15)
  • 1
    • 8344260845 scopus 로고    scopus 로고
    • A third-order representation of the λμ-calculus
    • S.J. Ambler, R.L. Croie, and A. Momigliano, editors, Elsevier
    • Andreas Abel. A third-order representation of the λμ-Calculus. In S.J. Ambler, R.L. Croie, and A. Momigliano, editors, Electronic Notes in Theoretical Computer Science, volume 58. Elsevier, 2001.
    • (2001) Electronic Notes in Theoretical Computer Science , vol.58
    • Abel, A.1
  • 2
    • 0002434037 scopus 로고    scopus 로고
    • Towards a geometry of interaction
    • Jean-Yves Girard. Towards a geometry of interaction. Contemporary Mathematics, 92:69-108.
    • Contemporary Mathematics , vol.92 , pp. 69-108
    • Girard, J.-Y.1
  • 6
    • 4544347985 scopus 로고    scopus 로고
    • Modal logic as a basis for distributed computation
    • Carnegie Mellon University, Oct
    • Jonathan Moody. Modal logic as a basis for distributed computation. Technical Report CMU-CS-03-194, Carnegie Mellon University, Oct 2003.
    • (2003) Technical Report , vol.CMU-CS-03-194
    • Moody, J.1
  • 7
    • 26944487072 scopus 로고    scopus 로고
    • Distribed control flow with classical modal logic
    • (technical report). Carnegie Mellon University, Dec
    • Tom Murphy, VII, Karl Crary, and Robert Harper. Distribed control flow with classical modal logic (technical report). Technical Report CMU-CS-04-177, Carnegie Mellon University, Dec 2004.
    • (2004) Technical Report , vol.CMU-CS-04-177
    • Murphy VII, T.1    Crary, K.2    Harper, R.3
  • 9
    • 0347777962 scopus 로고
    • Classical proofs as programs: How, what and why
    • Cornell University
    • Chetan Murthy. Classical proofs as programs: How, what and why. Technical Report TR91-1215, Cornell University, 1991.
    • (1991) Technical Report , vol.TR91-1215
    • Murthy, C.1
  • 10
    • 84944098890 scopus 로고
    • λμ-Calculus: An algorithmic interpretation of classical natural deduction
    • Andrei Voronkov, editor, Logic Programming and Automated Reasoning, International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Springer
    • Michel Parigot. λμ-Calculus: An algorithmic interpretation of classical natural deduction. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning, International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, volume 624 of Lecture Notes in Computer Science. Springer, 1992.
    • (1992) Lecture Notes in Computer Science , vol.624
    • Parigot, M.1
  • 11
    • 35448990873 scopus 로고    scopus 로고
    • System description: Twelf - A metalogical framework for deductive systems
    • Harald Ganzinger, editor, Trento, Italy, July. Springer-Verlag. LNAI 1632
    • Frank Pfenning and Carsten Schürmann. System description: Twelf - a metalogical framework for deductive systems. In Harald Ganzinger, editor, Proceedings of the 16th International Conference on Automated Deduction, pages 202-206, Trento, Italy, July 1999. Springer-Verlag. LNAI 1632.
    • (1999) Proceedings of the 16th International Conference on Automated Deduction , pp. 202-206
    • Pfenning, F.1    Schürmann, C.2
  • 12
    • 0004243121 scopus 로고    scopus 로고
    • Cambridge University Press, Cambridge, England
    • John H. Reppy. Concurrent Programming in ML. Cambridge University Press, Cambridge, England, 1999.
    • (1999) Concurrent Programming in ML
    • Reppy, J.H.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.