An experiment in doing it again, but very well this time, N.H. Shelness, D.J. Rees, P.D. Stephens and J.K. Yarwood
@TechReport{csr-18-77,
  author = 	 "N.H. Shelness, D.J. Rees, P.D. Stephens and J.K.
		  Yarwood",
  title = 	 "An experiment in doing it again, but very well this
		  time",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1977,
  number =	 "CSR-18-77"
}

The IMP-77 language, Peter S. Robertson
@TechReport{csr-19-77,
  author = 	 "Peter S. Robertson",
  title = 	 "The IMP-77 language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1977,
  number =	 "CSR-19-77"
}

LAYOUT, P. McLellan
@TechReport{csr-21-78,
  author = 	 "P. McLellan",
  title = 	 "LAYOUT",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1978,
  number =	 "CSR-21-78"
}

Algebras for communicating systems, Robin Milner
@TechReport{csr-25-78,
  author = 	 "Robin Milner",
  title = 	 "Algebras for communicating systems",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1978,
  number =	 "CSR-25-78"
}

LEGOS / User reference manual, P. McLellan
@TechReport{csr-49-79,
  author = 	 "P. McLellan",
  title = 	 "LEGOS / User reference manual",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1979,
  number =	 "CSR-49-79"
}

, Jacek Leszczylowski
@TechReport{csr-50-80,
  author = 	 "Jacek Leszczylowski",
  title = 	 "An experiment with "Edinburgh LCF",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1980,
  number =	 "CSR-50-80"
}

Theory of FP systems in EDINBURGH LCF, Jacek Leszczylowski
@TechReport{csr-61-80,
  author = 	 "Jacek Leszczylowski",
  title = 	 "Theory of FP systems in EDINBURGH LCF",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1980,
  number =	 "CSR-61-80"
}

HOPE: An experimental applicative language, R.M. Burstall, D.B. MacQueen, D.T. Sannella
@TechReport{csr-62-80,
  author = 	 "R.M. Burstall, D.B. MacQueen, D.T. Sannella",
  title = 	 "HOPE: An experimental applicative language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1980,
  number =	 "CSR-62-80"
}

The semantics of clear, a specification language, R.M. Burstall and J.A. Goguen
@TechReport{csr-65-80,
  author = 	 "R.M. Burstall and J.A. Goguen",
  title = 	 "The semantics of clear, a specification language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1980,
  number =	 "CSR-65-80"
}

Experiments with a parallel communication scheme, L.G. Valiant
@TechReport{csr-73-80,
  author = 	 "L.G. Valiant",
  title = 	 "Experiments with a parallel communication scheme",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1980,
  number =	 "CSR-73-80"
}

The edwin user's guide (Fourth edition), J. Gordon Hughes
@TechReport{csr-74-81,
  author = 	 "J. Gordon Hughes",
  title = 	 "The edwin user's guide (Fourth edition)",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-74-81"
}

The equivalence of two semantic definitions: a case study in LCF, Avra Cohn
@TechReport{csr-76-81,
  author = 	 "Avra Cohn",
  title = 	 "The equivalence of two semantic definitions: a case
		  study in LCF",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-76-81"
}

A term model for synchronous processes, Matthew Hennessy
@TechReport{csr-77-81,
  author = 	 "Matthew Hennessy",
  title = 	 "A term model for synchronous processes",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-77-81"
}

Call-by-need = Call-by-value + Conditional, Alan Mycroft
@TechReport{csr-78-81,
  author = 	 "Alan Mycroft",
  title = 	 "Call-by-need = Call-by-value + Conditional",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-78-81"
}

A new semantics for clear, D. Sannella
@TechReport{csr-79-81,
  author = 	 "D. Sannella",
  title = 	 "A new semantics for clear",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-79-81"
}

S-algol : reference manual, R. Morrison,
@TechReport{csr-80-81,
  author = 	 "R. Morrison,",
  title = 	 "S-algol : reference manual",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-80-81",
  note =	 "Department of Computer Science, University of St
		  Andrews"
}

Nondeterministic partial logic: isotonic and guarded truth-functions,
@TechReport{csr-83-81,
  author = 	 "P. P{\"{a}}ppinghaus, M. Wirsing",
  title = 	 "Nondeterministic partial logic: isotonic and guarded
		  truth-functions",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  key =          "P. Pappinghaus", 
  number =	 "CSR-83-81"
}

Sticks & stones: an applicative VLSI design language, Luca Cardelli
@TechReport{csr-85-81,
  author = 	 "Luca Cardelli",
  title = 	 "Sticks & stones: an applicative VLSI design language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-85-81"
}

Inductive inference in reflexive domains, Finn V. Jensen
@TechReport{csr-86-81,
  author = 	 "Finn V. Jensen",
  title = 	 "Inductive inference in reflexive domains",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-86-81"
}

An LCF-system for automatic creation of theories for 1-constructable data types, Finn V. Jensen
@TechReport{csr-87-81,
  author = 	 "Finn V. Jensen",
  title = 	 "An LCF-system for automatic creation of theories for
		  1-constructable data types",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-87-81"
}

The theory and practice of transforming call-by-need into call-by-value, Alan Mycroft
@TechReport{csr-88-81,
  author = 	 "Alan Mycroft",
  title = 	 "The theory and practice of transforming call-by-need
		  into call-by-value",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-88-81"
}

GOTOs - A study in the algebraic specification of programming languages,
@TechReport{csr-89-81,
  author = 	 "M. Broy, W. Dosch, B. M{\"{o}}ller, M. Wirsing",
  title = 	 "GOTOs - A study in the algebraic specification of
		  programming languages",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  key =		 "B. Moller",
  number =	 "CSR-89-81"
}

The structure of the EMAS 2900 kernel, D.J. Rees
@TechReport{csr-91-81,
  author = 	 "D.J. Rees",
  title = 	 "The structure of the EMAS 2900 kernel",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-91-81"
}

PS-algol: an algol with a persistent heap, Malcolm Atkinson, Ken Chisholm, Paul Cockshott
@TechReport{csr-94-81,
  author = 	 "Malcolm Atkinson, Ken Chisholm, Paul Cockshott",
  title = 	 "PS-algol: an algol with a persistent heap",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1981,
  number =	 "CSR-94-81"
}

A complexity theory based on Boolean algebra, S. Skyum and L.G. Valiant
@TechReport{csr-97-82,
  author = 	 "S. Skyum and L.G. Valiant",
  title = 	 "A complexity theory based on Boolean algebra",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-97-82"
}

Countable nondeterminism and random assignment, K.R. Apt, G.D. Plotkin
@TechReport{csr-98-82,
  author = 	 "K.R. Apt, G.D. Plotkin",
  title = 	 "Countable nondeterminism and random assignment",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-98-82"
}

An Operational semantics of tasking and exception handling in Ada, Wei Li
@TechReport{csr-99-82,
  author = 	 "Wei Li",
  title = 	 "An Operational semantics of tasking and exception
		  handling in Ada",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-99-82"
}

Denotational semantics as a programming language, David A. Schmidt
@TechReport{csr-100-82,
  author = 	 "David A. Schmidt",
  title = 	 "Denotational semantics as a programming language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-100-82"
}

Algebras, theories and freeness: an introduction for computer scientists, R.M. Burstall, J.A. Goguen
@TechReport{csr-101-82,
  author = 	 "R.M. Burstall, J.A. Goguen",
  title = 	 "Algebras, theories and freeness: an introduction for
		  computer scientists",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-101-82"
}

The category-theoretic solution of recursive domain equations, M.B. Smyth, G.D. Plotkin
@TechReport{csr-102-82,
  author = 	 "M.B. Smyth, G.D. Plotkin",
  title = 	 "The category-theoretic solution of recursive domain
		  equations",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-102-82"
}

Implementation of parameterised specifications, Donald Sannella, Martin Wirsing
@TechReport{csr-103-82,
  author = 	 "Donald Sannella, Martin Wirsing",
  title = 	 "Implementation of parameterised specifications",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-103-82"
}

Calculi for synchrony and asynchrony, Robin Milner
@TechReport{csr-104-82,
  author = 	 "Robin Milner",
  title = 	 "Calculi for synchrony and asynchrony",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-104-82"
}

Future branching time logics and fairness, Colin Stirling
@TechReport{csr105-82,
  author = 	 "Colin Stirling",
  title = 	 "Future branching time logics and fairness",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-105-82"
}

Axiomatising finite delay operators, Matthew Hennessy
@TechReport{csr-124-82,
  author = 	 "Matthew Hennessy",
  title = 	 "Axiomatising finite delay operators",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-124-82"
}

Synchronous and asynchronous experiments on processes, M. Hennessy
@TechReport{csr-125-82,
  author = 	 "M. Hennessy",
  title = 	 "Synchronous and asynchronous experiments on
		  processes",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1982,
  number =	 "CSR-125-82"
}

Power domains and predicate transformers: a topological view, M.B. Smyth
@TechReport{csr-126-83,
  author = 	 "M.B. Smyth",
  title = 	 "Power domains and predicate transformers: a
		  topological view",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-126-83"
}

The correctness of a simple silicon compiler, George J. Milne
@TechReport{csr-127-83,
  author = 	 "George J. Milne",
  title = 	 "The correctness of a simple silicon compiler",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-127-83"
}

Complete modal theories for verifying communicating agents behaviour in recursive equations programs, A. Pettorossi, A. Skowron
@TechReport{csr-128-83,
  author = 	 "A. Pettorossi, A. Skowron",
  title = 	 "Complete modal theories for verifying communicating
		  agents behaviour in recursive equations programs",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-128-83"
}

Specification and proof of a regular language recogniser in synchronous CCS, Roland Backhouse
@TechReport{csr-130-83,
  author = 	 "Roland Backhouse",
  title = 	 "Specification and proof of a regular language
		  recogniser in synchronous CCS",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-130-83"
}

A kernel language for algebraic specification and implementation, Donald Sannella and Martin Wirsing
@TechReport{csr-csr-131-83,
  author = 	 "Donald Sannella and Martin Wirsing",
  title = 	 "A kernel language for algebraic specification and
		  implementation",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-131-83"
}

A proof theoretic characterization of observational equivalence, Colin Stirling
@TechReport{csr-132-83,
  author = 	 "Colin Stirling",
  title = 	 "A proof theoretic characterization of observational
		  equivalence",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-132-83"
}

Algebraic laws for nondeterminism and concurrency, Matthew Hennessy and Robin Milner
@TechReport{csr-133-83,
  author = 	 "Matthew Hennessy and Robin Milner",
  title = 	 "Algebraic laws for nondeterminism and concurrency",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-133-83"
}

Counting paths: nondeterminism as linear algebra, David B. Benson
@TechReport{csr-134-83,
  author = 	 "David B. Benson",
  title = 	 "Counting paths: nondeterminism as linear algebra",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-134-83"
}

A model for nondeterministic machines, M. Hennessy
@TechReport{csr-135-83,
  author = 	 "M. Hennessy",
  title = 	 "A model for nondeterministic machines",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-135-83"
}

A CCS specification of the OSI network service, M.W. Sheilds and M.J. Wray
@TechReport{csr-136-83,
  author = 	 "M.W. Sheilds and M.J. Wray",
  title = 	 "A CCS specification of the OSI network service",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-136-83"
}

A fair calculus of communicating systems, Gerardo Costa and Colin Stirling
@TechReport{csr-137-83,
  author = 	 "Gerardo Costa and Colin Stirling",
  title = 	 "A fair calculus of communicating systems",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-137-83"
}

A formal basis for the analysis of circuit timing, George J. Milne
@TechReport{csr-138-83,
  author = 	 "George J. Milne",
  title = 	 "A formal basis for the analysis of circuit timing",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-138-83"
}

The complexity of finding minimum-length generator sequences, Mark Jerrum
@TechReport{csr-139-83,
  author = 	 "Mark Jerrum",
  title = 	 "The complexity of finding minimum-length generator
		  sequences",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-139-83"
}

A note on tactics in LCF, Stefan Sokolowski
@TechReport{csr-140-83,
  author = 	 "Stefan Sokolowski",
  title = 	 "A note on tactics in LCF",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-140-83"
}

A programming notation for tactical reasoning, David Schmidt
@TechReport{csr-141-83,
  author = 	 "David Schmidt",
  title = 	 "A programming notation for tactical reasoning",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-141-83"
}

Natural deduction theorem proving in set theory, David Schmidt
@TechReport{csr-142-83,
  author = 	 "David Schmidt",
  title = 	 "Natural deduction theorem proving in set theory",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-142-83"
}

Detecting global variables in denotational specifications, David Schmidt
@TechReport{csr-143-83,
  author = 	 "David Schmidt",
  title = 	 "Detecting global variables in denotational
		  specifications",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1983,
  number =	 "CSR-143-83"
}

A case study of the F.I.R.S.T. silicon compiler, Neil Bergmann
@TechReport{csr-159-84,
  author = 	 "Neil Bergmann",
  title = 	 "A case study of the F.I.R.S.T. silicon compiler",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-159-84"
}

Completeness of proof systems for equational specifications, David B. MacQueen and Donald T. Sannella
@TechReport{csr-160-84,
  author = 	 "David B. MacQueen and Donald T. Sannella",
  title = 	 "Completeness of proof systems for equational
		  specifications",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-160-84"
}

A syntax-directed approach for implementing the rendezvous mechanism in Ada, Wei Li
@TechReport{csr-161-84,
  author = 	 "Wei Li",
  title = 	 "A syntax-directed approach for implementing the
		  rendezvous mechanism in Ada",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-161-84"
}

Proving systolic systems correct, Matthew Hennessy
@TechReport{csr-162-84,
  author = 	 "Matthew Hennessy",
  title = 	 "Proving systolic systems correct",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-162-84"
}

A sticks front end for scale, Ian C. Dennison
@TechReport{csr-163-84,
  author = 	 "Ian C. Dennison",
  title = 	 "A sticks front end for scale",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-163-84"
}

Towards verifiably correct VLSI design, George Milne
@TechReport{csr-164-84,
  author = 	 "George Milne",
  title = 	 "Towards verifiably correct VLSI design",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-164-84"
}

Abstract algebraic institutions which strongly admit initial semantics, Andrzej Tarlecki
@TechReport{csr-165-84,
  author = 	 "Andrzej Tarlecki",
  title = 	 "Abstract algebraic institutions which strongly admit
		  initial semantics",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-165-84"
}

Partitioning programmable logic arrays, Murray I. Cole
@TechReport{csr-166-84,
  author = 	 "Murray I. Cole",
  title = 	 "Partitioning programmable logic arrays",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-166-84"
}

Weak and strong fairness in CCS, Gerardo Costa and Colin Stirling
@TechReport{csr-167-85,
  author = 	 "Gerardo Costa and Colin Stirling",
  title = 	 "Weak and strong fairness in CCS",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-167-85"
}

The standard ML Core language, Robin Milner
@TechReport{csr-168-84,
  author = 	 "Robin Milner",
  title = 	 "The standard ML Core language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-168-84"
}

A metric characterization of fair computations in CCS, Gerardo Costa
@TechReport{csr-169-84,
  author = 	 "Gerardo Costa",
  title = 	 "A metric characterization of fair computations in
		  CCS",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-169-84"
}

I.F. / An idiomatic floorplanner, I.M. Nixon
@techreport{csr-170-84,
  author = 	 "I.M. Nixon",
  title = 	 "I.F. / An idiomatic floorplanner",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-170-84"
}

An algebraic theory of fair asynchronous communicating processes, Matthew Hennessy
@TechReport{csr-171-84,
  author = 	 "Matthew Hennessy",
  title = 	 "An algebraic theory of fair asynchronous
		  communicating processes",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-171-84"
}

On observational equivalence and algebraic specification, Donald Sannella and Andrzej Tariecki
@TechReport{csr-172-84,
  author = 	 "Donald Sannella and Andrzej Tariecki",
  title = 	 "On observational equivalence and algebraic
		  specification",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-172-84"
}

Quasi-varieties in abstract algebraic institutions, Andrzej Tarlecki
@TechReport{csr-173-84,
  author = 	 "Andrzej Tarlecki",
  title = 	 "Quasi-varieties in abstract algebraic institutions",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-173-84"
}

Simulation and verification related techniques for hardware analysis, George J. Milne
@TechReport{csr-174-84,
  author = 	 "George J. Milne",
  title = 	 "Simulation and verification related techniques for
		  hardware analysis",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-174-84"
}

ECCE / Edinburgh Compatible Context Editor video version, Hamish Dewar
@TechReport{csr-175-84,
  author = 	 "Hamish Dewar",
  title = 	 "ECCE / Edinburgh Compatible Context Editor  video
		  version",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-175-84"
}

Recursively defined domains and their induction principles, Finn V. Jensen, Kim G. Larsen
@TechReport{csr-176-84,
  author = 	 "Finn V. Jensen, Kim G. Larsen",
  title = 	 "Recursively defined domains and their induction
		  principles",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-176-84"
}

On proving limiting completeness, Peter D. Mosses and Gordon D. Plotkin
@TechReport{CSR-177-84,
  author = 	 "Peter D. Mosses and Gordon D. Plotkin",
  title = 	 "On proving limiting completeness",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-177-84"
}

Specification and proof of a simple fault tolerant system in CCS, K.V.S. Prasad
@TechReport{csr-178-84,
  author = 	 "K.V.S. Prasad",
  title = 	 "Specification and proof of a simple fault tolerant
		  system in CCS",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-178-84"
}

Inferring surface shape by specular stereo, Andrew Blake
@TechReport{csr-179-84,
  author = 	 "Andrew Blake",
  title = 	 "Inferring surface shape by specular stereo",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1984,
  number =	 "CSR-179-84"
}

An investigation into stretchable cells for Scale, R\'oderick Widdowson
@TechReport{csr-181-85,
  author = 	 "R{\'{o}}derick Widdowson",
  title = 	 "An investigation into stretchable cells for Scale",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  key =		 "Roderick Widdowson",
  number =	 "CSR-181-85"
}

An extremal connectivity metric for partitioning VLSI designs, Alex R. Deas
@TechReport{csr-183-85,
  author = 	 "Alex R. Deas",
  title = 	 "An extremal connectivity metric for partitioning
		  VLSI designs",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-183-85"
}

Specifications in an arbitrary institution, Donald Sannella and Andrzej Tarlecki
@TechReport{csr-184-85,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Specifications in an arbitrary institution",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-184-85"
}

Behavioural correctness of data representations, Oliver Schoett
@TechReport{csr-185-85,
  author = 	 "Oliver Schoett",
  title = 	 "Behavioural correctness of data representations",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-185-85"
}

Random generation of combinatorial structures from a uniform distribution, Mark R. Jerrum, Leslie G. Valiant and Vijay V. Vazirani
@TechReport{csr-187-85,
  author = 	 "Mark R. Jerrum, Leslie G. Valiant and Vijay V.
		  Vazirani",
  title = 	 "Random generation of combinatorial structures from a
		  uniform distribution",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-187-85"
}

RAQUEL - User manual, Pedro Hepp and Moira Norrie
@TechReport{csr-188-85,
  author = 	 "Pedro Hepp and Moira Norrie",
  title = 	 "RAQUEL - User manual",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-188-85"
}

A compositional reformulation of Owicki-Gries's partial correctness for a parallel while language, Colin Stirling
@TechReport{csr-189-85,
  author = 	 "Colin Stirling",
  title = 	 "A compositional reformulation of Owicki-Gries's
		  partial correctness for a parallel while language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-189-85"
}

Complementary partial orders and rectangle packing, Mark Jerrum
@TechReport{csr-190-85,
  author = 	 "Mark Jerrum",
  title = 	 "Complementary partial orders and rectangle packing",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-190-85"
}

The Edinburgh node of the proteus distributed database system, Moira Norrie
@TechReport{csr-191-85,
  author = 	 "Moira Norrie",
  title = 	 "The Edinburgh node of the proteus distributed
		  database system",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-191-85"
}

The unification of terms: a category - theoretic algorithm, D.E. Rydeheard and R.M. Burstall
@TechReport{csr-192-85,
  author = 	 "D.E. Rydeheard and R.M. Burstall",
  title = 	 "The unification of terms: a category - theoretic
		  algorithm",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-192-85"
}

Modal logics for communicating systems, Colin Stirling
@TechReport{csr-193-85,
  author = 	 "Colin Stirling",
  title = 	 "Modal logics for communicating systems",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-193-85"
}

IE / The reference manual, Richard M. Marshall
@TechReport{csr-194-85,
  author = 	 "Richard M. Marshall",
  title = 	 "IE / The reference manual",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1985,
  number =	 "CSR-194-85"
}

Weak continuity constraints in computer vision, Andrew Blake and Andrew Zisserman
@TechReport{csr-197-86,
  author = 	 "Andrew Blake and Andrew Zisserman",
  title = 	 "Weak continuity constraints in computer vision",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1986,
  number =	 "CSR-197-86"
}

The role of behaviour in VLSI design language, B.S. Davie and G.J. Milne
@TechReport{csr-199-86,
  author = 	 "B.S. Davie and G.J. Milne",
  title = 	 "The role of behaviour in VLSI design language",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1986,
  number =	 "CSR-199-86"
}

OC: a portable occam compiler first pass, Richard M. Marshall
@TechReport{csr-201-86,
  author = 	 "Richard M. Marshall",
  title = 	 "OC: a portable occam compiler first pass",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1986,
  number =	 "CSR-201-86"
}

SILVER - the language and its implementation, Nick Rothwell
@TechReport{csr-206-86,
  author = 	 "Nick Rothwell",
  title = 	 "SILVER - the language and its implementation",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1986,
  number =	 "CSR-206-86"
}

Configurable logic: an approach to the rapid implementation of ASIC's, Tom Kean and Genbao Feng
@TechReport{csr-234-87,
  author = 	 "Tom Kean and Genbao Feng",
  title = 	 "Configurable logic: an approach to the rapid
		  implementation of ASIC's",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1987,
  number =	 "CSR-234-87"
}

Approximate counting, uniform generation and rapidly mixing Markov chains, Alistair Sinclair and Mark Jerrum
@TechReport{csr-241-87,
  author = 	 "Alistair Sinclair and Mark Jerrum",
  title = 	 "Approximate counting, uniform generation and rapidly
		  mixing Markov chains",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1987,
  number =	 "CSR-241-87"
}

The evolution of the Fred Machine, Gordon Brebner and Fred King
@TechReport{csr-246-87,
  author = 	 "Gordon Brebner and Fred King",
  title = 	 "The evolution of the Fred Machine",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1987,
  number =	 "CSR-246-87"
}

On the design and performance of pipelined architectures, Nigel Topham, Amos Omondi and Roland Ibbett
@TechReport{csr-247-87,
  author = 	 "Nigel Topham, Amos Omondi and Roland Ibbett",
  title = 	 "On the design and performance of pipelined
		  architectures",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1987,
  number =	 "CSR-247-87"
}

Behavioural abstraction and circuit verification using CIRCAL, Mauro Pezze
@TechReport{csr-251-87,
  author = 	 "Mauro Pezze",
  title = 	 "Behavioural abstraction and circuit verification
		  using CIRCAL",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1987,
  number =	 "CSR-251-87"
}

A diagramming paradigm for hierarchical process oriented discrete event simulation, R.J. Pooley and M.W. Brown
@TechReport{csr-254-88,
  author = 	 "R.J. Pooley and M.W. Brown",
  title = 	 "A diagramming paradigm for hierarchical process
		  oriented discrete event simulation",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1988,
  number =	 "CSR-254-88"
}

Chromatic idioms for automated VLSI floorplanning, Alex Deas
@TechReport{csr-255-88,
  author = 	 "Alex Deas",
  title = 	 "Chromatic idioms for automated VLSI floorplanning",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1988,
  number =	 "CSR-255-88"
}

Fast uniform generation of regular graphs, Mark Jerrum and Alistair Sinclair
@TechReport{csr-281-88,
  author = 	 "Mark Jerrum and Alistair Sinclair",
  title = 	 "Fast uniform generation of regular graphs",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1988,
  number =	 "CSR-281-88"
}

Virtual objects: hiding the distribution in distributed systems, Steve Proctor
@TechReport{csr-293-89,
  author = 	 "Steve Proctor",
  title = 	 "Virtual objects: hiding the distribution in
		  distributed systems",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1989,
  number =	 "CSR-293-89"
}

When is a graphical sequence stable?, Mark Jerrum, Brendan McKay and Alistair Sinclair
@TechReport{csr-309-89,
  author = 	 "Mark Jerrum, Brendan McKay and Alistair Sinclair",
  title = 	 "When is a graphical sequence stable?",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1989,
  number =	 "CSR-309-89"
}

Introduction to the second Posie report, Rob Pooley
@TechReport{csr-6-90,
  author = 	 "Rob Pooley",
  title = 	 "Introduction to the second Posie report",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1990,
  number =	 "CSR-6-90"
}

Efficient algorithms for listing unlabeled graphs, Leslie Ann Henderson
@TechReport{csr-7-90,
  author = 	 "Leslie Ann Henderson",
  title = 	 "Efficient algorithms for listing unlabeled graphs",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1990,
  number =	 "CSR-7-90"
}

Automating P\'olya theory: the computational complexity of the cycle index polynomial, Leslie Ann Henderson
@TechReport{csr-8-90,
  author = 	 "Leslie Ann Henderson",
  title = 	 "Automating P{\'{o}}lya theory: the computational
		  complexity of the cycle index polynomial",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1990,
  key =          "Automating Polya theory: the computational
		  complexity of the cycle index polynomial
  number =	 "CSR-8-90"
}

The elusiveness of large cliques in a random graph, Mark Jerrum
@TechReport{csr-9-90,
  author = 	 "Mark Jerrum",
  title = 	 "The elusiveness of large cliques in a random graph",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1990,
  number =	 "CSR-9-90"
}

Simple translation-invariant concepts are hard to learn, Mark Jerrum
@TechReport{csr-12-91,
  author = 	 "Mark Jerrum",
  title = 	 "Simple translation-invariant concepts are hard to
		  learn",
  institution =  "University of Edinburgh, Department of Computer
		  Science ",
  year = 	 1991,
  number =	 "CSR-12-91"
}

A comparison of hardware description languages, Ping Yeung and David Rees
@TechReport{csr-13-91,
  author = 	 "Ping Yeung and David Rees",
  title = 	 "A comparison of hardware description languages",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1991,
  number =	 "CSR-13-91"
}

The Role of logic synthesis in high-level synthesis, P.F. Yeung and D.J. Rees
@TechReport{csr-15-91,
  author = 	 "P.F. Yeung and D.J. Rees",
  title = 	 "The Role of logic synthesis in high-level synthesis",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1991,
  number =	 "CSR-15-91"
}

Configurable array logic circuits for computing network error detection codes, Gordon Brebner
@TechReport{csr-16-91,
  author = 	 "Gordon Brebner",
  title = 	 "Configurable array logic circuits for computing
		  network error detection codes",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1991,
  number =	 "CSR-16-91"
}

A CCS-based investigation of deadlock in a multi-process electronic mail system, Gordon Brebner
@TechReport{csr-17-91,
  author = 	 "Gordon Brebner",
  title = 	 "A CCS-based investigation of deadlock in a
		  multi-process electronic mail system",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1991,
  number =	 "CSR-17-91"
}

Graph reduction and pipelined parallel algorithms, Murray Cole
@TechReport{csr-18-91,
  author = 	 "Murray Cole",
  title = 	 "Graph reduction and pipelined parallel algorithms",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1991,
  number =	 "CSR-18-91"
}

Design of a bit-sliced network for a shared-memory multiprocessor system, D.J. Rogers and R.N. Ibbett
@TechReport{csr-19-92,
  author = 	 "D.J. Rogers and R.N. Ibbett",
  title = 	 "Design of a bit-sliced network for a shared-memory
		  multiprocessor system",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1992,
  number =	 "CSR-19-92"
}

A tool to enhance model exploitation, Jane Hillston
@TechReport{csr-20-92,
  author = 	 "Jane Hillston",
  title = 	 "A tool to enhance model exploitation",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1992,
  number =	 "CSR-20-92"
}

Final report on the DTI-funded awareness initiative in object oriented computing, R.N. Ibbett
@TechReport{csr-21-92,
  author = 	 "R.N. Ibbett",
  title = 	 "Final report on the DTI-funded awareness initiative
		  in object oriented computing",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1992,
  number =	 "CSR-21-92"
}

Pointers and multi-dimensional arrays, Richard A. Eyre-Todd
@TechReport{csr-22-92,
  author = 	 "Richard A. Eyre-Todd",
  title = 	 "Pointers and multi-dimensional arrays",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1992,
  number =	 "CSR-22-92"
}

A survey of PRAM simulation techniques, Tim J. Harris
@TechReport{csr-23-92,
  author = 	 "Tim J. Harris",
  title = 	 "A survey of PRAM simulation techniques",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1992,
  number =	 "CSR-23-92"
}

PEPA: performance enhanced process algebra, Jane Hillston
@TechReport{csr-24-93,
  author = 	 "Jane Hillston",
  title = 	 "PEPA: performance enhanced process algebra",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1992,
  number =	 "CSR-24-93"
}

Parallel programming, list homomorphisms and the maximum segment sum problem, Murray Cole
@TechReport{csr-25-93,
  author = 	 "Murray Cole",
  title = 	 "Parallel programming, list homomorphisms and the
		  maximum segment sum problem",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1993,
  number =	 "CSR-25-93"
}

Proceedings of workshop on process algebra and performance modelling, Jane Hillston and Faron Moller (editors)
@TechReport{csr-26-93,
  author = 	 "Jane Hillston and Faron Moller  (editors)",
  title = 	 "Proceedings of workshop on process algebra and
		  performance modelling",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1993,
  number =	 "CSR-26-93",
  note =         "Neil Davies, Uni. of Bristol  /  Developing systems
		    with awareness of performance
                  Chris Tofts, Uni. of Swansea  /  Processes with
		    probabilities, priority and time
                  Jane Hillston, Univ. of Edinburgh  /  PEPA: A
		    performance evaluation process algebra
                  Norbert G{\"{o}}tz, Ulrich Herzog & Michael
		    Rettelbach, Univ. of Erlangen  /  TIPP: A stochastic
		    process algebra
                  Peter Harrison & Ben Strulo, Imperial College,
		    London  /  Process algebra for discrete event
		    simulation 
                  Rob Pooley, Univ. of Edinburgh  /  Deriving
		    functional properties of process based simulation
		    models
                  Gianluigi Ferrari & Ugo Montanari, Univ. of Pisa  / 
                    Observing time-complexity of concurrent programs
                  Gavin Lowe, Oxford Univ.  /  Pravda: A tool for
		    verifying probabilistic processes
                  Faron Moller, Univ. of Edinburgh  /  Cinnamon Buns",
}

The performance of Barnes-Hut N-body simulation in the abstract, Todd Heywood, Kishan Mehrotra, Sanjay Ranka
@TechReport{csr-27-93,
  author = 	 "Todd Heywood, Kishan Mehrotra, Sanjay Ranka",
  title = 	 "The performance of Barnes-Hut N-body simulation in
		  the abstract",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1993,
  number =	 "CSR-27-93"
}

Models of parallelism, Todd Heywood, Claudia Leopold
@TechReport{csr-28-93,
  author = 	 "Todd Heywood, Claudia Leopold",
  title = 	 "Models of parallelism",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1993,
  number =	 "CSR-28-93"
}

List homomorphic parallel algorithms for bracket matching, Murray Cole
@TechReport{csr-29-93,
  author = 	 "Murray Cole",
  title = 	 "List homomorphic parallel algorithms for bracket
		  matching",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1993,
  number =	 "CSR-29-93"
}

The performance of SCI memory hierarchies, Roberto A. Hexsel, Nigel P. Topham
@TechReport{csr-30-94,
  author = 	 "Roberto A. Hexsel, Nigel P. Topham",
  title = 	 "The performance of SCI memory hierarchies",
  institution =  "University of Edinburgh, Department of Computer
		  Science",
  year = 	 1994,
  number =	 "CSR-30-94"
}