On transformations of concurrent-object programs

Theoretical Computer Science

Volumn 195, Issue 2, 1998, Pages 259-289

  Philippou, Anna ^a   Walker, David ^a  

^a UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001274327     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00222-3     Document Type: Article

References (28)

1. P. America, Issues in the design of a parallel object-oriented language, Formal Aspects Comput. 1 (1989) 366-411.
2. M. Boreale, On the expressiveness of internal mobility in name-passing calculi, in Proc. CONCUR'96, Springer, Berlin, 1996, pp. 163-178.
3. C. Fournet et al., A calculus of mobile agents, in: Proc. CONCUR'96, Springer, Berlin, 1996, pp. 406-421.
4. R. van Glabbeek, P. Weijland, Branching time and abstraction in bisimulalion semantics, in: Information Processing '89, 1989, pp. 613-618.
5. S. Hodges, C.B. Jones, Fixing the semantics of some concurrent object-oriented concepts: SOS and proofs, in: Proc. SchloßDagstuhl workshop on 'Object-orientation with Parallelism and Persistence', to appear.
6. J. Hogg, Islands: aliasing protection in object-oriented languages, in: Proc. OOPSLA'91, ACM Press, New York, 1991, pp. 271-285.
7. K. Honda, M. Tokoro, An object calculus for asynchronous communication, in: Proc. ECOOP'91, Springer, Berlin, 1991, pp. 133-147.
8. C.B. Jones, Constraining interference in an object-based design method, in: Proc. TAPSOFT'93, Springer, Berlin, 1993, pp. 136-150.
9. C.B. Jones, A pi-calculus semantics for an object-based design notation, in: Proc. CONCLJR'93, Springer, Berlin, 1993, pp. 158-172.
10. C.B. Jones, Process algebra arguments about an object-based design method, Essays in Honour of C.A.R. Hoare, Prentice-Hall, Englewood Cliffs, NJ, 1994.
11. C.B. Jones, Accommodating interference in the formal design of concurrent object-based programs, Formal Methods System Des. to appear.
12. D. Kafura, R.G. Lavender, Concurrent object-oriented languages and the inheritance anomaly, in: T. Casavant, (Ed.), Parallel Computers: Theory and Practice. Computer Society Press, Rockville, MD, 1995.
13. N. Kobayashi, B. Pierce, D. Turner, Linearity and the pi-calculus, Principles of Programming Languages, 1996.
14. X. Liu, D. Walker, Confluence of processes and systems of objects, in: Proc. TAPSOFT'95, Springer, Berlin, 1995, pp. 217-231.
15. X. Liu, D. Walker, Partial confluence of processes and systems of objects. Theoret. Comput. Sci., to appear.
16. R. Milner, A modal characterization of observable machine-behaviour. Lecture Notes in Computer Science, vol. 112, Springer, Berlin, 1981, pp. 25-34.
17. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
18. R. Milner, The polyadic π-calculus: a tutorial, in: Logic and Algebra of Specification, Springer, Berlin, 1992.
19. R. Milner, J. Parrow, D. Walker. A calculus of mobile processes, Parts 1 and 2, Inform. Comput., 100 (1992) 1-77.
20. U. Nestmann, On determinacy and nondeterminacy in concurrent programming, Ph.D. Thesis, University of Erlangen, 1996.
21. A. Philippou, Reasoning about systems with evolving structure, Ph.D. Thesis, University of Warwick, 1996.
22. A. Philippou, D. Walker, On sharing and determinacy in concurrent systems, in: Proc. CONCUR'95, Springer, Berlin, 1995, pp. 456-470.
23. A. Philippou, D. Walker, A rigorous analysis of concurrent operations on B-trees, in: Proc. CONCUR'97, Springer, Berlin, to appear.
24. B. Pierce, D. Turner, Concurrent objects in a process calculus, in: Theory and Practice of Parallel Programming, Sendai, Japan, Springer, Berlin, 1994, pp. 187-215.
25. D. Sangiorgi, Expressing mobility in process algebras: first-order and higher-order paradigms, Ph.D. Thesis, University of Edinburgh, 1992.
26. D. Sangiorgi, The name discipline of receptiveness, in: Proc. ICALP'97, Springer, Berlin, to appear.
27. D. Walker, π-calculus semantics for object-oriented programming languages, in: Proc. TACS'91, Springer, Berlin, 1991, pp. 532-547.
28. D. Walker, Objects in the π-calculus, Inform. Comput. 116 (1995) 253-271.