Publications

[[HaHen97e]] C. Hartonas and M. Hennessy.
Full abstractness for a functional/concurrent language with higher-order value-passing.
Full version available as Computer Science Technical Report 1/97, University of Sussex, 1997. Available from http://www.cogs.susx.ac.uk/.

[[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, 12^th 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.