Next: CWI Up: University of Cambridge Previous: Personnel and exchanges
Andrew Barber, Philippa Gardner, Masahito Hasegawa, and Gordon Plotkin.
From action calculi to linear logic,.
In Proceedings of CSL 97, Aarhus, 1997.
Closed action calculi.
Theoretical Computer Science, 1998.
Philippa Gardner and Masahito Hasegawa.
Types and models in higher-order action calculi.
In Proceedings of TACS 97, Sendai, Japan, 1997.
Ole Høgh Jensen.
PhD thesis, University of Cambridge.
Benjamin C. Pierce and David N. Turner.
Pict: A programming language based on the pi-calculus.
Technical Report CSCI 476, Computer Science Department, Indiana University, 1997.
To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press.
Global/local subtyping for a distributed -calculus.
Technical Report 435, Computer Laboratory, University of Cambridge, August 1997.
Available from http://www.cl.cam.ac.uk/users/pes20/.
Nonaxiomatisability of equivalences over finite state processes.
Annals of Pure and Applied Logic, 1997.
On implementations and semantics of a concurrent programming language.
In Proceedings of CONCUR '97. LNCS 1243, pages 391-405. Springer-Verlag, 1997.
Peter Sewell, Pawe T. Wojciechowski, and Benjamin C. Pierce.
Location independence for mobile agents.
Submitted for publication, 1997.