%A Murray I. Cole
%T Partitioning programmable logic arrays
%R Technical Report CSR-166-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A Robin Milner
%T The standard ML core language
%R Technical Report CSR-168-84
%I Department of Computer Science, University of Edinburgh
%D 1984
%K Functional programming
%K Programming languages

%A Gerardo Costa
%T A metric characterization of fair computations in CCS
%R Technical Report CSR-169-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A I. M. Nixon
%T I.F.: an Idiomatic Floorplanner
%R Technical Report CSR-170-84
%I Department of Computer Science, University of Edinburgh
%D 1984
%K VLSI

%A Matthew Hennessy
%T An algebraic theory of fair asynchronous communication processes
%R Technical Report CSR-171-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A Donald Sannella
%A Andrzej Tarlecki
%T On observational equivalence and algebraic specification
%R Technical Report CSR-172-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A Andrzej Tarlecki
%T Quasi-varieties in abstract algebraic institutions
%R Technical Report CSR-173-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A George J. Milne
%T Simulation and verification: related techniques for hardware
analysis
%R Technical Report CSR-174-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A Finn V. Jensen
%A Kim G. Larsen
%T Recursively defined domains and their induction principles
%R Technical Report CSR-176-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A Peter D. Mosses
%A Gordon D. Plotkin
%T On proving limiting completeness
%R Technical Report CSR-177-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A K. V. S. Prasad
%T Specification and proof of a simple fault tolerant system in CCS
%R Technical Report CSR-178-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A Andrew Blake
%T Inferring surface shape by specular stereo
%R Technical Report CSR-179-84
%I Department of Computer Science, University of Edinburgh
%D 1984

%A Gerardo Costa
%A Colin Stirling
%T Weak and strong fairness in CCS
%R Technical Report CSR-167-85
%I Department of Computer Science, University of Edinburgh
%D 1985

%A Roderick Widdowson
%T An investigation into stretchable cells for scale
%R Technical Report CSR-181-85
%I Department of Computer Science, University of Edinburgh
%D 1985
%K VLSI design

%A Donald Sannella
%A Andrzej Tarlecki
%T Specifications in an arbitrary institution
%R Technical Report CSR-184-85
%I Department of Computer Science, University of Edinburgh
%D 1985
%K Algebraic specification