Using Markovian Process Algebra to Specify Interactions in
Queueing Systems
Nigel Thomas and Jane Hillston LFCS report ECS-LFCS-97-373
PCF extended with real numbers: a domain-theoretic approach
to higher-order exact real number computation
Martín Hötzel Escardó LFCS report ECS-LFCS-97-374
That About Wraps it Up: Using FIX to Handle Errors Without
Exceptions, and Other Programming Tricks
Bruce J. McAdam LFCS report ECS-LFCS-97-375