R. Milner. Action Structures and the -calculus, to appear in: Proceedings of NATO Advanced Study Institute, Proof and Computation (held at Marktoberdorf), 1993. (Also available as an LFCS report, Dept. of Computer Science, University of Edinburgh.) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
....Science (1994) Proceedings MFPS8. On the Calculus and Linear Logic G. Bellin P. J. Scott y July 20, 1994 Abstract We detail Abramsky s proofs as processes paradigm for interpreting classical linear logic (CLL) 13] into a synchronous version of the calculus recently proposed by Milner [27, 28]. The translation is given at the abstract level of proof structures. We give a detailed treatment of information flow in proof nets and show how to mirror various evaluation strategies for proof normalization. We also give Soundness and Completeness results for the process calculus translations ....
R. Milner. Action Structures and the -calculus, to appear in: Proceedings of NATO Advanced Study Institute, Proof and Computation (held at Marktoberdorf), 1993. (Also available as an LFCS report, Dept. of Computer Science, University of Edinburgh.)
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
....(1994) Proceedings MFPS8. On the Calculus and Linear Logic G. Bellin 3 P. J. Scott y July 20, 1994 Abstract We detail Abramsky s proofs as processes paradigm for interpreting classical linear logic (CLL) 13] into a synchronous version of the calculus recently proposed by Milner [27, 28]. The translation is given at the abstract level of proof structures. We give a detailed treatment of information flow in proof nets and show how to mirror various evaluation strategies for proof normalization. We also give Soundness and Completeness results for the process calculus ....
R. Milner. Action Structures and the -calculus, to appear in: Proceedings of NATO Advanced Study Institute, Proof and Computation (held at Marktoberdorf), 1993. (Also available as an LFCS report, Dept. of Computer Science, University of Edinburgh.)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC