Functions as processes

Mathematical Structures in Computer Science

Volumn 2, Issue 2, 1992, Pages 119-141

  Milner, Robin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976193394     PISSN: 09601295     EISSN: 14698072     Source Type: Journal    
DOI: 10.1017/S0960129500001407     Document Type: Article

References (27)

1. Abadi, M., Cardelli, L., Curien, P-L. and Levy, J-J. (1990), Explicit Substitutions, Proceedings of POPL ‘90 pp. 31–46.
2. Abramsky, S. (1989), The Lazy Lambda Calculus, in: Research Topics in Functional Programming, ed. D. Turner, Addison Wesley, pp. 65–116.
3. Barendregt, H.P. (1981), The Lambda Calculus, Its Syntax and Semantics, Studies in Logic and Foundations of Mathematics, Vol 103, North Holland.
4. Berry, G. (1979), Modeles Completement Adequats et Stables des lambda-calcul typés, These de Doctorat d’Etat, Universite Paris VII.
5. Berry, G. and Boudol, G. (1990), The Chemical Abstract Machine, Proc 17th Annual Symposium on Principles of Programming Languages.
6. Boudol, G. (1989), Towards a Lambda-Calculus for Concurrent and Communicating Systems, Proc TAPSOFT 1989, Lecture Notes in Computer Science 351, Springer-Verlag, pp. 149–161.
7. Curry, H.B. and Feys, R. (1958), Combinatory Logic, Vol 1, North Holland.
8. Clinger, W.D. (1981), Foundations of Actor Semantics, Ph.D. thesis, Massachusetts Institute of Technology, Artificial Intelligence Lab Technical Report #633, May 1981. Reprinted in: Towards Open Information Systems Science, Hewitt, C.E., Manning, C.R., Inman, J.T. and Agha, G. (eds.), Cambridge, MA: MIT Press, Spring 1991.
9. Engberg, U. and Nielsen, M. (1986), A Calculus of Communicating Systems with Label-passing, Report DAIMI PB- 208, Computer Science Department, University of Aarhus.
10. Girard, J.-Y. (1987), Linear Logic, Journal of Theoretical Computer Science, Vol 50, pp. 111–112.
11. Hennessy, M. and Milner, R. (1985), Algebraic Laws for Non-determinism and Concurrency, Journal of ACM, Vol 32, pp. 137–161.
12. Hewitt, C, Bishop, P. and Steiger, R. (1973), A Universal Modular Actor Formalism for Artificial Intelligence, Proc IJCAI 73, Stanford, California, pp. 235–245.
13. Hewitt, C. (1977), Viewing Control Structures as Patterns of Passing Messages, Journal of Artificial Intelligence, Vol 8, No 3, pp. 323–364, June 1977.
14. Landin, P.J. (1964), The Mechanical Evaluation of Expressions, Computer Journal, Vol 4, pp. 308–320.
15. Milner, R. (1977), Fully Abstract Models of Typed Lambda-calculi, Journal of Theoretical Computer Science, Vol 5, pp. 1–23.
16. Milner, R. (1990), Functions as Processes, Research Report No. 1154, INRIA, Sophia Antipolis, February 1990.
17. Milner, R. (1989), Communication and Concurrency, Prentice Hall.
18. Milner, R., Parrow, J.G. and Walker, D.J. (1989), A Calculus of Mobile Processes, Parts I and II, Report ECS-LFCS-89-85 and -86, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University.
19. Nielson, F. (1989), The Typed α-calculus with First-class Processes, Proc F'ARLE 89, Lecture Notes in Computer Science 366, Springer-Verlag.
20. Ong, C-H.L. (1988), Fully Abstract Models of the Lazy Lambda Calculus, Proc 29th Symposium on Foundations of Computer Science, pp. 368–376.
21. Ong, C-H.L. (1990), Operational extensionality of Plotkin’s pure untyped call-by-value lambda-calculus αv Unpublished memorandum.
22. Plotkin, G.D. (1975), Call-by-name and Call-by-value and the α-calculus, Journal of Theoretical Computer Science, Vol 1, pp. 125–159.
23. Sangiorgi, D. (1992), Forthcoming PhD thesis, University of Edinburgh.
24. Stoughton, A. (1989), Private communication.
25. Thomsen, B. (1989), A Calculus of Higher-order Communicating Systems, Proc 16th Annual Symposium on Principles of Programming Languages, pp. 143–154.
26. Thomsen, B. (1990), A Calculi for Higher-order Communicating Systems, PhD Thesis, Department of Computing, Imperial College, London.
27. Walker, D.J. (1991), π-Calculus Semantics of Object-oriented Programming Languages, Proc conference Theoretical Aspects of Computer Software, Japan, Lecture Notes in Computer Science 526, Springer-Verlag, pp. 532–547.