A Concurrent Model for Linear Logic

Electronic Notes in Theoretical Computer Science

Volumn 155, Issue 1 SPEC. ISS., 2006, Pages 147-168

  Beffara, Emmanuel ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

calculus; Linear logic; proofs as processes

Indexed keywords

Π-CALCULUS; CURRY HOWARD INTERPRETATION; LINEAR LOGIC; PROOFS PROCESSES;

DIFFERENTIATION (CALCULUS); EMBEDDED SYSTEMS; FORMAL LOGIC; LINEAR PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

CONCURRENT ENGINEERING;

EID: 33747781815     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.11.055     Document Type: Article

References (22)

1. Abramsky S. Computational interpretations of linear logic. Theoretical Computer Science 111 1-2 (1993) 3-57
2. Abramsky S. Interaction categories. In: Burn G.L., Gay S.J., and Ryan M. (Eds). Theory and Formal Methods, Workshops in Computing (1993), Springer Verlag 57-69
3. Abramsky S. In: Birkedal L., van Oosten J., Rosolini G., and Scott D.S. (Eds). Process realizability. Electronic Notes in Theoretical Computer Science 23 (2001) Elsevier
4. Bellin G., and Scott P.J. On the π-calculus and linear logic. Theoretical Computer Science 135 1 (1994) 11-65
5. Berger M., Honda K., and Yoshida N. Genericity and the π-calculus. 6th International Conference on Foundations of Software Science and Computational Structures. (FoSSaCS). Lecture Notes in Computer Science volume 2620 (April 2003), Springer Verlag 103-119
6. Boreale M., and de Nicola R. Testing equivalence for mobile processes. Information and Computation 120 2 (1995) 279-303
7. Caires L., and Cardelli L. A spatial logic for concurrency (part II). Theoretical Computer Science 322 3 (2004) 517-565
8. Cleaveland R., and Hennessy M. Testing equivalence as a bisimulation equivalence. International Workshop on Automatic Verification Methods for Finite State Systems (1990), Springer Verlag 11-23
9. Curien P.-L., and Herbelin H. The duality of computation. 5th ACM International Conference on Functional Programming. (ICFP) (2000), ACM Press 233-243
10. Dam M. Process-algebraic interpretations of positive linear and relevant logics. Journal of Logic and Computation 4 (1994) 939-973
11. Danos V., Joinet J.-B., and Schellinx H. LKQ and LKT: Sequent calculi for second order logic based upon linear decomposition of classical implication. In: Girard J.-Y., Lafont Y., and Regnier L. (Eds). Advances in Linear Logic (1995), Cambridge University Press 211-224
12. Ehrhard T., and Regnier L. The differential λ-calculus. Theoretical Computer Science 309 1 (2003) 1-41
13. Gardner P., and Wischik L. Explicit fusions. In: Nielsen M., and Rovan B. (Eds). 25th International Symposium on Mathematical Foundations of Computer Science. (MFCS). Lecture Notes in Computer Science volume 1893 (2000), Springer Verlag 373-382
14. Girard J.-Y. Linear logic. Theoretical Computer Science 50 (1987) 1-102
15. Girard J.-Y. Geometry of interaction III: The general case. In: Girard J.-Y., Lafont Y., and Regnier L. (Eds). Advances in Linear Logic (1995), Cambridge University Press 329-389
16. Girard J.-Y. Locus solum. Mathematical Structures in Computer Science 11 3 (2001) 301-506
17. Kohei Honda, Nobuko Yoshida, and Martin Berger. Control in the π-calculus. In 4th ACM-SIGPLAN Continuation Workshop, 2004
18. Milner R., Parrow J., and Walker D. Modal logics for mobile processes. Theoretical Computer Science 114 1 (1993) 149-171
19. O'Hearn P., and Pym D. The logic of bunched implication. Bulletin of Symbolic Logic 5 2 (June 1999) 215-244
20. Parigot M. λμ-calculus: an algorithmic interpretation of classical natural deduction. 3rd International Conference on Logic Programming and Automated Reasoning. (LPAR). Lecture Notes in Computer Science volume 624 (1992), Springer Verlag 190-201
21. Joachim Parrow and Björn Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In 13th IEEE Symposium on Logic in Computer Science (LICS), pages 176-185, 1998
22. Sangiorgi D., and Walker D. The π-calculus: A Theory of Mobile Processes (2001), Cambridge University Press