A concurrent object calculus: Reduction and typing

Electronic Notes in Theoretical Computer Science

Volumn 16, Issue 3, 1998, Pages 248-264

  Gordon, Andrew D ^a   Hankin, Paul D ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CHANNEL CAPACITY; COMMUNICATION SYSTEMS; CONCURRENCY CONTROL; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYNCHRONIZATION;

COMMUNICATION CHANNELS; CONCURRENT PROCESSES; OBJECT CALCULUS; READ-WRITE CHANNELS;

CONCURRENT ENGINEERING;

EID: 19144362199     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00145-8     Document Type: Conference Paper

References (29)

1. Abadi M., Cardelli L. A Theory of Objects. 1996;Springer-Verlag
2. Agha G., Mason I., Smith S., Talcott C. A foundation for actor computation. Journal of Functional Programming. 7:(1):January 1997
3. R. Amadio, L. Leth, and B. Thomsen. From a concurrent λ-calculus to the π-calculus. In Proceedings Foundations of Computation Theory 95, volume 965 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
4. D. Berry, R. Milner, and D. N. Turner. A semantics for ML concurrency primitives. In Proceedings POPL'92, pages 119-129, 1992.
5. Berry G., Boudol G. The chemical abstract machine. Theoretical Computer Science. 96:(1):April 1992;217-248
6. G. Boudol. The pi-calculus in direct style. In Proceedings POPL'97, pages 228-241, 1997.
7. S. Dal Zilio. Concurrent objects in the blue calculus, 1998. Draft.
8. P. Di Blasio and K. Fisher. A calculus for concurrent objects. In Proceedings CONCUR'96, August 1996.
9. W. Ferreira, M. Hennessy, and A. Jeffrey. A theory of weak bisimulation for core CML. Technical Report 95:05, Computer Science, School of Cognitive and Computing Sciences, University of Sussex, 1995.
10. C. Fournet and G. Gonthier. The reflexive CHAM and the Join-calculus. In Proceedings POPL'96, pages 372-385, January 1996.
11. A. D. Gordon, P. D. Hankin, and S. B. Lassen. Compilation and equivalence of imperative objects. In Proceedings FST&TCS'97, volume 1346 of Lecture Notes in Computer Science, pages 74-87. Springer-Verlag, 1997.
12. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, 1997.
13. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proceedings ECOOP'91, volume 512 of Lecture Notes in Computer Science, pages 133-147. Springer-Verlag, 1991.
14. C. Jones. A pi-calculus semantics for an object-based design notation. In Proceedings CONCUR'93, volume 715 of Lecture Notes in Computer Science, pages 158-172. Springer-Verlag, 1993.
15. J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In Proceedings PROCOMET'98, 1998.
16. L. Lamport. A fast mutual exclusion algorithm. Technical Report 7, Digital Systems Research Center, November 1985.
17. Milner R. Functions as processes. Mathematical Structures in Computer Science. 2:1992;119-141
18. Milner R., Parrow J., Walker D. A calculus of mobile processes, parts I and II. Information and Computation. 100:1992;1-77
19. S. L. Peyton Jones, A. D. Gordon, and S. Finne. Concurrent Haskell. In Proceedings POPL'96, pages 295-308, 1996.
20. B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5): 409-454, 1996.
21. Summary in Proceedings LICS'93, pp. 376-385 (1993).
22. B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Proceedings TPPP'94, volume 907 of Lecture Notes in Computer Science, pages 187-215. Springer-Verlag, 1995.
23. B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997.
24. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press, 1998.
25. G. D. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Aarhus University, September 1981.
26. J. H. Reppy. Higher-Order Concurrency. PhD thesis, Department of Computer Science, Cornell University, 1992.
27. Available as Technical Report 92-1285.
28. V. T. Vasconcelos. Typed concurrent objects. In Proceedings ECOOP'94, 1994.
29. Walker D. Objects in the pi-calculus. Information and Computation. 116:(2):February 1995;253-271