Toward Formal Development of Programs from Algebraic
Specifications: Model-Theoretic Foundations
D. Sannella and A Tarlecki LFCS report ECS-LFCS-92-204
Toward formal development of programs from algebraic
specifications: parameterisation revisited
Donald Sannella, Stefan Sokolowski and Andrzej Tarlecki LFCS report ECS-LFCS-92-222
Correctness Proofs of Compilers and Debuggers: an Overview
of an Approach Based on Structural Operational Semantics
Fabio Q B da Silva LFCS report ECS-LFCS-92-233
A Sub-logarithmic Communication Algorithm for the Completely
Connected Optical Communication Parallel Computer
Leslie Ann Goldberg and Mark Jerrum LFCS report ECS-LFCS-92-234
Functional Compilation from the Standard ML Core Language to
Lambda Calculus
Nick Rothwell LFCS report ECS-LFCS-92-235
Decomposability, Decidability and Axiomatisability for
Bisimulation Equivalence on Basic Parallel Processes
S Christensen, Y Hirshfield and F Moller LFCS report ECS-LFCS-92-244