Next: University of Warwick
Up: University of Sussex
Previous: Personnel and Exchanges
[[Je97]]
A. Jeffrey.
Flow graphs and semantics of programs.
available from http://www.cogs.susx.ac.uk/users/alanje/premon/, 1997.
[[Ra97a]]
J. Rathke.
Unique fixpoint induction for value-passing processes.
In Proc. LICS'97, 12th Annual Symposium on Logic in
Computer Science, Warsaw. IEEE Computer Society Press, 1997.
To appear.
[[Ra97b]]
J. Rathke and M. Hennessy.
Local model checking for value-passing processes.
In Proc. TACS'97, International Symposium on Theoretical Aspects
of Computer Software, Sendai. Springer-Verlag, 1997.
[[RieHen97a]]
J. Riely and M. Hennessy.
Distributed processes and location failures.
Technical Report 2/97, 1997.
Extended abstract presented at ICALP97.
[[RieHen97b]]
J. Riely and M. Hennessy.
A typed language for distributed mobile processes.
In Proc. POPL'98, ACM Conference on Principle of
Programming Languages, San Diego.