@book{alma993259213502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {Simulation and verification : related techniques for hardware analysis},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 174-84},
title = {Simulation and verification : related techniques for hardware analysis / by George J. Milne.},
year = {1984},
}

@book{alma993514853502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {A formal basis for the analysis of circuit timing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 138-83},
title = {A formal basis for the analysis of circuit timing / by George J. Milne.},
year = {1983},
}

@book{alma993514983502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {CIRCAL and the representation of communication, concurrency and time},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 151-83},
title = {CIRCAL and the representation of communication, concurrency and time / by George J. Milne.},
year = {1983},
}

@book{alma993515003502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {SCALE : a language for VLSI design},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 158-84},
title = {SCALE : a language for VLSI design / by Richard M. Marshall, Irene Buchanan.},
year = {1984},
}

@book{alma994410543502466,
author = {Rogers, D. J.},
address = {Edinburgh},
booktitle = {Design of a Bit-sliced network for a shared-memory multiprocessor system},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 19-92},
title = {Design of a Bit-sliced network for a shared-memory multiprocessor system / by D.J. Rogers and R.N. Ibbett.},
year = {1992},
}

@book{alma9912580873502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Denotational semantics as a programming language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 100-82},
title = {Denotational semantics as a programming language / by David A. Schmidt.},
year = {1982},
}

@book{alma9912581083502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {The largest Cartesian closed category of domains},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 108-82},
title = {The largest Cartesian closed category of domains / by M. B. Smyth.},
year = {1982},
}

@book{alma9912581073502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {Finitary relations and the fair merge},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 107-82},
title = {Finitary relations and the fair merge / by M. B. Smyth.},
year = {1982},
}

@book{alma995597863502466,
author = {Päppinghaus, P.},
address = {Edinburgh},
booktitle = {Nondeterministic partial logic : isotonic and guarded truth-functions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 83-81},
title = {Nondeterministic partial logic : isotonic and guarded truth-functions / by P.Päppinghaus, M. Wirsing.},
year = {1981},
}

@book{alma995597443502466,
author = {De Nicola, Rocco.},
address = {Edinburgh},
booktitle = {Testing equivalences for processes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 123-82},
title = {Testing equivalences for processes / by R. de Nicola, M.C.B. Hennessy.},
year = {1982},
}

@book{alma995597263502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Syntactic type checking using Scott retraction maps},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 112-82},
title = {Syntactic type checking using Scott retraction maps / by David A. Schmidt.},
year = {1982},
}

@book{alma995597353502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Implementation of parameterised specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 103-82},
title = {Implementation of parameterised specifications / by Donald Sannella, Martin Wirsing.},
year = {1982},
}

@misc{alma996764123502466,
author = {Escardó, Martín Hötzel.},
address = {Edinburgh},
booktitle = {PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 138-97},
title = {PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation / by Martín Hötzel EscardÓ.},
year = {1997},
}

@book{alma999991553502466,
author = {Appel, Andrew W.},
address = {London},
booktitle = {A standard ML compiler},
language = {eng},
publisher = {Imperial College},
series = {ML Library ; 026},
title = {A standard ML compiler / Andrew W. Appel, David B. MacQueen.},
year = {1987},
}

@book{alma999991793502466,
author = {Finn, Simon.},
address = {Edinburgh},
booktitle = {The Poly/ ML environment},
language = {eng},
publisher = {[University of Edinburgh]},
series = {ML Library ; 032},
title = {The Poly/ ML environment  / S. Finn, M.P. Fourman.},
year = {1988},
}

@book{alma999629613502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Fast uniform generation of regular graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 281-88},
title = {Fast uniform generation of regular graphs / by Mark Jerrum and Alistair Sinclair.},
year = {1998},
}

@book{alma994470683502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Modal and temporal logics for proceses},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-221},
title = {Modal and temporal logics for proceses / by Colin Stirling.},
year = {1992},
}

@book{alma994470563502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Unlimp uniqueness as a leitmotiv for implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-219},
title = {Unlimp uniqueness as a leitmotiv for implementation / by Stefan Kahrs.},
year = {1992},
}

@book{alma994470533502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {Fixpoints of Büchi automata},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-224},
title = {Fixpoints of Büchi automata / by Mads Dam.},
year = {1992},
}

@book{alma994742203502466,
author = {Janc̆ar, Petr.},
address = {Edinburgh},
booktitle = {Decidability questions for bisimilarity of Petri nets and some related problems},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-261},
title = {Decidability questions for bisimilarity of Petri nets and some related problems / by Petr Janc̆ar.},
year = {1993},
}

@book{alma994422783502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {An introduction to fibrations, topos theory, the effective topos and modest sets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-208},
title = {An introduction to fibrations, topos theory, the effective topos and modest sets / by Wesley Phoa.},
year = {1992},
}

@book{alma994422763502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {From term models to domains},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-214},
title = {From term models to domains / by Wesley Phoa.},
year = {1992},
}

@book{alma994422743502466,
author = {Goldberg, Leslie Ann.},
address = {Edinburgh},
booktitle = {Listing graphs that satisfy first order sentences},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-210},
title = {Listing graphs that satisfy first order sentences / by Leslie Ann Goldberg.},
year = {1992},
}

@book{alma994422753502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {Building domains from graph models},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-215},
title = {Building domains from graph models / by Wesley Phoa.},
year = {1992},
}

@book{alma994422733502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {Process-algebraic interpretations of positive linear and relevant logics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-216},
title = {Process-algebraic interpretations of positive linear and relevant logics / by Mads Dam.},
year = {1992},
}

@book{alma994422723502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {CTL* and ECTL* as fragments of the modal [mu]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-217},
title = {CTL* and ECTL* as fragments of the modal [mu]-calculus / by Mads Dam.},
year = {1992},
}

@book{alma994399333502466,
author = {Bradfield, Julian Charles.},
address = {Edinburgh},
booktitle = {A proof assistant for symbolic model-checking},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-199},
title = {A proof assistant for symbolic model-checking / by J.C. Bradfield.},
year = {1992},
}

@book{alma994399323502466,
author = {Rasmussen, Lars Eilstrup.},
address = {Edinburgh},
booktitle = {Approximating the permanent : a simple approach},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-201},
title = {Approximating the permanent : a simple approach / by Lars Eilstrup Rasmussen.},
year = {1992},
}

@book{alma994399313502466,
author = {Pierce, Benjamin C.},
address = {Edinburgh},
booktitle = {Intersection types and bounded polymorphism},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-200},
title = {Intersection types and bounded polymorphism / by Benjamin C. Pierce.},
year = {1992},
}

@book{alma995322553502466,
author = {Mitchell, Kevin.},
address = {Edinburgh},
booktitle = {Concurrency in a natural semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-311},
title = {Concurrency in a natural semantics / by Kevin Mitchell.},
year = {1994},
}

@book{alma995322433502466,
author = {Esparza, Javier.},
address = {Edinburgh},
booktitle = {Decidability of model checking for infinite-state concurrent systems},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-302},
title = {Decidability of model checking for infinite-state concurrent systems / by Javier Esparza.},
year = {1994},
}

@book{alma995322743502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {On the bisimulation proof method},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-299},
title = {On the bisimulation proof method / by Davide Sangiorgi.},
year = {1994},
}

@book{alma995322463502466,
author = {Hirshfeld, Yoram.},
address = {Edinburgh},
booktitle = {Deciding equivalences in simple process algebras},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-294},
title = {Deciding equivalences in simple process algebras / by Yoram Hirshfeld.},
year = {1994},
}

@book{alma995322773502466,
author = {Kaivola, Roope.},
address = {Edinburgh},
booktitle = {On modal mu-calculus and Büchi tree automata},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-293},
title = {On modal mu-calculus and Büchi tree automata / by Roope Kaivola.},
year = {1994},
}

@book{alma995322453502466,
author = {Hirshfeld, Yoram.},
address = {Edinburgh},
booktitle = {Congruences in commutative semigroups},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-291},
title = {Congruences in commutative semigroups / by Yoram Hirshfeld.},
year = {1994},
}

@book{alma995322703502466,
author = {Pritchard, Paul.},
address = {Edinburgh},
booktitle = {On computing the subset graph of a collection of sets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-309},
title = {On computing the subset graph of a collection of sets / by Paul Pritchard.},
year = {1994},
}

@book{alma995322693502466,
author = {Mitchell, Kevin.},
address = {Edinburgh},
booktitle = {Multiple values in Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-312},
title = {Multiple values in Standard ML / by Kevin Mitchell.},
year = {1994},
}

@book{alma995322733502466,
author = {Pritchard, Paul.},
address = {Edinburgh},
booktitle = {An old sub-quadratic algorithm for finding extremal sets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-301},
title = {An old sub-quadratic algorithm for finding extremal sets / by Paul Pritchard.},
year = {1994},
}

@book{alma995322513502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {The computational complexity of counting},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-296},
title = {The computational complexity of counting / by Mark Jerrum.},
year = {1994},
}

@book{alma995322503502466,
author = {Janc̆ar, Petr.},
address = {Edinburgh},
booktitle = {High undecidability of weak bisimilarity for petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-298},
title = {High undecidability of weak bisimilarity for petri nets / by Petr Janc̆ar.},
year = {1994},
}

@book{alma993815113502466,
author = {Moller, Faron.},
address = {Edinburgh},
booktitle = {The nonexistence of finite axiomatisations for CCS congruences},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-97},
title = {The nonexistence of finite axiomatisations for CCS congruences / by Faron Moller.},
year = {1989},
}

@book{alma994743613502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {Errata and remarks},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-265},
title = {Errata and remarks / by David J. Pym.},
year = {1993},
}

@book{alma994743563502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Uniform sampling modulo a group of symmetries using Markov chain simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECSS-LFCS-93-272},
title = {Uniform sampling modulo a group of symmetries using Markov chain simulation / by Mark Jerrum.},
year = {1993},
}

@book{alma994743653502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {A theory of bisimulation for the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-270},
title = {A theory of bisimulation for the [pi]-calculus / by Davide Sangiori.},
year = {1993},
}

@book{alma994743643502466,
author = {Hüttel, Hans.},
address = {Edinburgh},
booktitle = {Undecidable equivalences for basic parallel processes},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-276},
title = {Undecidable equivalences for basic parallel processes / by Hans Hüttel.},
year = {1993},
}

@book{alma994254843502466,
author = {Miller, Dale.},
address = {Edinburgh},
booktitle = {A logic programming language with Lambda-abstraction, function variables, and simple unification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-159},
title = {A logic programming language with Lambda-abstraction, function variables, and simple unification / by Dale Miller.},
year = {1991},
}

@book{alma994254853502466,
author = {Miller, Dale.},
address = {Edinburgh},
booktitle = {Unification of simply typed Lambda-terms as logic programming},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-160},
title = {Unification of simply typed Lambda-terms as logic programming / by Dale Miller.},
year = {1991},
}

@book{alma994254863502466,
author = {Bellin, Gianluigi.},
address = {Edinburgh},
booktitle = {Proof nets for multiplicative and additive linear logic},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-161},
title = {Proof nets for multiplicative and additive linear logic / by Gianluigi Bellin.},
year = {1991},
}

@book{alma994254833502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Modal and temporal logics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-157},
title = {Modal and temporal logics / by Colin Stirling.},
year = {1991},
}

@book{alma994254873502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {An analysis of a Monte Carlo algorithm for estimating the permanent},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-164},
title = {An analysis of a Monte Carlo algorithm for estimating the permanent / by Mark Jerrum.},
year = {1991},
}