Next: Publications
Up: University of Cambridge
Previous: Research directions
During 96-97 Gardner and Sewell have given seminars at Sussex, and Sewell has visited Edinburgh. In November 97 Sewell spent a week with the INRIA-Rocquencourt group in discussions of distributed calculi and of labelled transition systems and bisimulation for arbitrary rewriting systems.