A theory of weak bisimulation for core CML

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 6, 1996, Pages 201-212

  Ferreira, William ^a   Hennessy, Matthew ^a   Jeffrey, Alan ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144391486     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/232629.232649     Document Type: Article

References (30)

1. ISO 8807. LOTOS - A formal description technique based on the temporal ordering of observational behaviour, 1989.
2. G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation. J. Functional Programming, 1994.
3. J. C. M. Baeten and F. W. Vaandrager. An algebra for process creation. Acta informatica, 29(4):303-334, 1992.
4. J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoret. Comput. Sci., 37:77-121, 1985.
5. Dave Berry, Robin Milner, and David N. Turner. A semantics for ML concurrency primitives. In Proc. POPL 92, 1992.
6. Dominique Bolignano and Mourad Debabi. A semantic theory for concurrent ML. In Proc. TACS '94, 1994.
7. M. Debabi. Integration de Paradigmes de Programmation Paralle, Fonctionnelle et Imperative. Ph.D thesis, Universite D'Orsay, 1994.
8. William Ferreira. Semantic Theories for Concurrent ML. D.Phil thesis, COGS, Sussex Univ., 1995. In preparation.
9. William Ferreira and Matthew Hennessy. Towards a semantic theory of CML. Technical report 95:02, COGS. Sussex Univ., 1995. available electronically from http://www.cogs.susx.ac.uk/Computer Science Technical Reports/.
10. William Ferreira, Matthew Hennessy, and Alan Jeffrey. A theory of weak bisimulation for core CML. COGS Comp. Sci. Tech. Report 05/95, Univ. Sussex, 1995. available electronically from http://www.cogs.susx.ac.uk/Computer Science Technical Reports/.
11. A. Giacalone, P. Mishra, and S. Prasad. Facile: A symmetric integration of concurrent and functional programming. In Proc. Tapsoft 89, volume 352 of LNCS, pages 184-209. Springer-Verlag, 1989.
12. Andrew Gordon. Bisimilarity as a theory of functional programming. In Proc. MFPS 95, number 1 in Electronic Notes in Comp. Sci. Springer-Verlag, 1995.
13. Carl Gunter. Semantics of Programming Languages. MIT Press. 1992.
14. K. Havelund. The Fork Calculus: Towards a Logic for Concurrent ML. Ph.D thesis, École Normale Superieur, Paris, 1994.
15. M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
16. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
17. Sören Holmström. PFL: A functional language for parallel programming. In Proc. Declarative Programming Workshop, pages 114-139, 1983.
18. Douglas Howe. Equality in lazy computation systems. In Proc. LICS 89, pages 198-203, 1989.
19. Alan Jeffrey. A fully abstract semantics for a concurrent functional language with monadic types. In Proc. LICS 95, pages 255-264, 1995.
20. Robin Milner. Communication and Concurrency. Prentice-Hall, 1989.
21. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile proceses. Inform. and Comput., 100(1):1-77, 1992.
22. Eugenio Moggi. Notions of computation and monad. Inform. and Comput., 93:55-92, 1991.
23. F. Nielson and H. R. Nielson. From CML to process algebras. Report DAIMI FN-19. Dept. Comp. Sci., Aarhus University, 1993.
24. Sivaswami Nikhil. Id Reference Manual. MIT Lab. for Comp. Sci., 1990.
25. Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report in preparation; available electronically from http://www.cl.cam.ac.uk/users/bcp1000/ftp/index.html, 1995.
26. John Reppy. A higher-order concurrent langauge. In Proc. SIGPLAN 91, pages 294-305, 1991.
27. John Reppy. An operational semantics of first-class synchronous operations. Technical report TR 91-1232, Dept. Comp. Sci., Cornell Univ., 1991.
28. John Reppy. Higher-Order Concurrency. Ph.D thesis. Cornell Univ., 1992.
29. Davide Sangiorgi. Expressing Mobility in Process Algebras: First-order and Higher-order Paradigms. Ph.D thesis, LFCS, Edinburgh Univ., 1992.
30. Bent Thomsen. A theory of higher order communicating systems. Inform. and Comput., 116(1):38-57, 1995.