Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119-141, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
From Rewrite Rules to Bisimulation - Congruences Peter Sewell (Correct)
No context found.
Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119-141, 1992.
Unknown - (Correct)
No context found.
Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119--141, 1992.
Unknown - (Correct)
No context found.
Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119--141, 1992.
Causality and True Concurrency: A Data-flow - Analysis Of The (Correct)
No context found.
R. Milner. Functions as processes. In Proceedings of ICALP 90, volume 443 of Lecture Notes in Computer Science, pages 167--180. Springer-Verlag, 1990.
New Foundations for the Geometry of Interaction - Samson Abramsky Radha (1993) (27 citations) (Correct)
No context found.
R. Milner. Functions as processes. In Proceedings of ICALP 90, volume 443 of Lecture Notes in Computer Science, pages 167--180. Springer-Verlag, 1990.
A Study of Objects - Hankin (1999) (Correct)
No context found.
Milner, R. (1992). Functions as processes. Mathematical Structures in Computer Science 2, 119-141.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Robin Milner. Functions as processes. MSCS, 2(2):119--141, 1992.
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (7 citations) (Correct)
No context found.
Milner, R., Functions as Processes. MSCS, 2(2), 119-146, CUP, 1992.
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119--141, 1992.
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
No context found.
Milner, R., Functions as Processes. MSCS, 2(2), 119-146, CUP, 1992.
Linearity and Bisimulation - Yoshida, Honda, Berger (7 citations) (Correct)
No context found.
Milner, R., Functions as Processes. MSCS, 2(2), 119-146, CUP, 1992.
From Process Logic to Program Logic - Honda (2004) (Correct)
No context found.
Milner, R., Functions as Processes, MSCS. 2(2):119--141, 1992,
Sequential Process Logics: Soundness Proofs - Honda (2003) (Correct)
No context found.
Milner, R., Functions as Processes, MSCS. 2(2):119-141, 1992,
Non-Deterministic untyped λ-calculus - A study about.. - Liguoro (1991) (Correct)
No context found.
R. Milner "Functions as Processes", LNCS 443, 1990.
Must Preorder in Non-Deterministic Untyped λ-calculus - de'Liguoro, Piperno (1992) (Correct)
No context found.
R. Milner "Functions as Processes", LNCS 443, 1990.
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
No context found.
Milner, R. Functions as processes. MSCS 2, 2 (1992), 119-141.
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Milner, R., Functions as Processes, MSCS. 2(2):119-141, 1992,
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
No context found.
Milner, R., Functions as Processes. MSCS, 2(2), 119-146, CUP, 1992.
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (Correct)
No context found.
Robin Milner. Functions as processes. MSCS, 2(2):119-141, 1992.
Communication Errors in the π-Calculus are Undecidable - Vasconcelos, Ravara (Correct)
No context found.
Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science 2(2), pages 119--141, 1992.
A Compositional Logic for Polymorphic Higher-Order Functions - Honda, Yoshida (2004) (Correct)
No context found.
Milner, R., Functions as Processes, MSCS. 2(2):119--141, 1992,
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (47 citations) (Correct)
No context found.
R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119-- 141, 1992.
Sequential Process Logics: Notes on Origins - Kohei Honda Queen (Correct)
No context found.
Milner, R., Functions as Processes, MSCS. 2(2):119-141, 1992,
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
No context found.
Milner, R., Functions as Processes, MSCS. 2(2):119--141, 1992,
Towards Abstractions for Distributed Systems - Berger (2000) (4 citations) (Correct)
No context found.
Robin Milner. Functions as processes. MSCS, 2(2):119-141, 1992.
First 50 documents Next 50
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