This material is partly based upon work supported by the National Science Foundation under Grant No. 0430175,
by the Engineering and Physical Sciences Research Council grants
Foundations for the Integration of Concurrent, Distributed and Functional Computation and Linear Type Systems for Concurrent Systems,
and by the Nuffield Foundation grant A Semantic Study of Behavioural Properties for Systems of Distributed Objects.
Copyright © 1994-2005 Alan Jeffrey and Julian Rathke. Edited 24 May 2006