Next: Deliverables
Up: University of Warwick
Previous: Workshops and site visits
[[PW97]]
A. Philippou and D. Walker,
On confluence in the -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 -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.
1/10/1998