next up previous contents
Next: Deliverables Up: University of Warwick Previous: Workshops and site visits

Publications

[[PW97]] A. Philippou and D. Walker,
On confluence in the $\pi$-calculus,
in Proceedings of International Colloquium on Automata, Languages and Programming, Bologna, July 1997, Springer-Verlag Lecture Notes in Computer Science, vol. 1256, 314-324.

[[LW97a]] X. Liu and D. Walker,
Concurrent objects as mobile processes,
in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling, and M. Tofte (eds.), MIT Press, to appear.

[[S97]] M. Sawle,
A $\pi$-calculus semantics for actor systems,
MSc dissertation, University of Warwick, September 1997.

[[LW97b]] X. Liu and D. Walker,
Partial confluence of processes and systems of objects,
Theoretical Computer Science B, to appear.

[[PW97b]] A. Philippou and D. Walker,
On transformations of concurrent object programs,
Theoretical Computer Science B, to appear.

[[PW97c]] A. Philippou and D. Walker,
Social confluence in client-server systems,
in Proceedings of Computer Science Logic, Utrecht, September 1996, Springer-Verlag Lecture Notes in Computer Science, vol. 1258, 385-398.

[[PW97d]] A. Philippou and D. Walker,
A rigorous analysis of concurrent operations on B-trees,
in Proceedings of Concurrency Theory, Warsaw, July 1997, Springer-Verlag Lecture Notes in Computer Science, vol. 1243, 361-375.

[[P97phd]] A. Philippou,
Reasoning about systems with evolving structure,
PhD thesis, University of Warwick, December 1996.

[[I97]] C. Ionitoiu,
An operational semantics for loosely coupled systems,
MSc dissertation, University of Warwick, September 1997.


next up previous contents
Next: Deliverables Up: University of Warwick Previous: Workshops and site visits

1/10/1998