Semantic analysis of specification logic, R.D. Tennent
@TechReport{ecs-lfcs-86-5,
  author = 	 "R.D. Tennent",
  title = 	 "Semantic analysis of specification logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-5",
  note =	 "CSR-211-86"
}

Computing with categories, R.M. Burstall and David Rydeheard
@TechReport{ecs-lfcs-86-9,
  author = 	 "R.M. Burstall and David Rydeheard",
  title = 	 "Computing with categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-9",
  note =	 "CSR-215-86"
}

Modules and persistence in standard ML, Robert Harper
@TechReport{ecs-lfcs-86-11,
  author = 	 "Robert Harper",
  title = 	 "Modules and persistence in standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "EcS-LFCS-86-11",
  note =	 "CSR-217-86"
}

Research in interactive theorem proving at Edinburgh University, R.M. Burstall
@TechReport{ecs-lfcs-86-12,
  author = 	 "R.M. Burstall",
  title = 	 "Research in interactive theorem proving at Edinburgh
		  University",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-12",
  note =	 "CSR-218-86"
}

Formal specification of ML programs, Donald Sannella
@TechReport{ecs-lfcs-86-15,
  author = 	 "Donald Sannella",
  title = 	 "Formal specification of ML programs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-15",
  note =	 "CSR-221-86"
}

Extended ML : an institution-independent framework for formal program development, Donald Sannella and Andrzej Tarlecki
@TechReport{ecs-lfcs-86-16,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Extended ML : an institution-independent framework
		  for formal program development",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-16",
  note =	 "CSR-222-86"
}

Toward formal development of programs from algebraic specifications : implementations revisited, Donald Sannella and Andrzej Tarlecki
@TechReport{ecs-lfcs-86-17,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Toward formal development of programs from
		  algebraic specifications : implementations revisited",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-17",
  note =	 "also published as CSR-223-86"
}

Introduction to a calculus of communicating systems, David Walker
@TechReport{ecs-lfcs-87-22,
  author = 	 "David Walker",
  title = 	 "Introduction to a calculus of communicating systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-22",
  note =	 "also published as CSR-227-87"
}

A framework for defining logics, Robert Harper, Furio Honsell, Gordon Plotkin
@TechReport{ecs-lfcs-87-23,
  author = 	 "Robert Harper, Furio Honsell, Gordon Plotkin",
  title = 	 "A framework for defining logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-23",
  note =	 "also published as CSR-228-87"
}

Comparing linear and branching time temporal logics, Colin Stirling
@TechReport{ecs-lfcs-87-24,
  author = 	 "Colin Stirling",
  title = 	 "Comparing linear and branching time temporal logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-24",
  note =	 "also published as CSR-229-87"
}

Inductively defined functions in functional programming languages, Rod Burstall
@TechReport{ecs-lfcs-87-25,
  author = 	 "Rod Burstall",
  title = 	 "Inductively defined functions in functional
		  programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-25",
  note =	 "also published as CSR-230-87"
}

The semantics and proof theory of linear logic, Arnon Avron
@TechReport{ecs-lfcs-87-27,
  author = 	 "Arnon Avron",
  title = 	 "The semantics and proof theory of linear logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-27",
  note =	 "also published as CSR-232-87"
}

A type discipline for program modules, Robert Harper, Robin Milner and Mads Tofte
@TechReport{ecs-lfcs-87-28,
  author = 	 "Robert Harper, Robin Milner and Mads Tofte",
  title = 	 "A type discipline for program modules",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-28",
  note =	 "also published as CSR-233-87"
}

Using typed lambda calculus to implement formal systems on a machine, Arnon Avron, Furio A. Honsell and Ian A. Mason
@TechReport{ecs-lfcs-87-31,
  author = 	 "Arnon Avron, Furio A. Honsell and Ian A. Mason",
  title = 	 "Using typed lambda calculus to implement formal
		  systems on a machine",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-31",
  note =	 "also published as CSR-237-87"
}

Hoare's logic in the LF, Ian A. Mason
@TechReport{ecs-lfcs-87-32,
  author = 	 "Ian A. Mason",
  title = 	 "Hoare's logic in the LF",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-32",
  note =	 "also published as CSR-238-87"
}

Changes to the standard ML Core Language, Robin Milner
@TechReport{ecs-lfcs-87-33,
  author = 	 "Robin Milner",
  title = 	 "Changes to the standard ML Core Language",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-33",
  note =	 "also published as CSR-240-87"
}

Fifth workshop on specification of abstract data types, Don Sannella
@TechReport{ecs-lfcs-87-41,
  author = 	 "Don Sannella",
  title = 	 "Fifth workshop on specification of abstract data
		  types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-41",
  note =	 "also published as CSR-249-87"
}

The essence of ML, John C. Mitchell and Robert Harper
@TechReport{ecs-lfcs-87-42,
  author = 	 "John C. Mitchell and Robert Harper",
  title = 	 "The essence of ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-42",
  note =	 "also published as CSR-250-87"
}

A typed lambda calculus with categorical type constructors, Tatsuya Hagino
@TechReport{ecs-lfcs-88-44,
  author = 	 "Tatsuya Hagino",
  title = 	 "A typed lambda calculus with categorical type
		  constructors",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-44",
  note =	 "also published as CSR-256-88"
}

Operational and algebraic semantics of concurrent processes, Robin Milner
@TechReport{ecs-lfcs-88-46,
  author = 	 "Robin Milner",
  title = 	 "Operational and algebraic semantics of concurrent
		  processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-46",
  note =	 "also published as CSR-258-88"
}

Models of self-descriptive set theories, Marco Forti & Furio Honsell
@TechReport{ecs-lfcs-88-47,
  author = 	 "Marco Forti & Furio Honsell",
  title = 	 "Models of self-descriptive set theories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-47",
  note =	 "also published as CSR-259-88"
}

Foundations and proof theory of 3-valued logics, Arnon Avron
@TechReport{ecs-lfcs-88-48,
  author = 	 "Arnon Avron",
  title = 	 "Foundations and proof theory of 3-valued logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-48",
  note =	 "also published as CSR-260-88"
}

Temporal ordering for concurrency, Christopher M N Tofts
@TechReport{ecs-lfcs-88-49,
  author = 	 "Christopher M N Tofts",
  title = 	 "Temporal ordering for concurrency",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-49",
  note =	 "also published as CSR-261-88"
}

How to breed hybrid compiler/interpreters, Andrew D Gordon
@TechReport{ecs-lfcs-88-50,
  author = 	 "Andrew D Gordon",
  title = 	 "How to breed hybrid compiler/interpreters",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-50",
  note =	 "also published as CSR-262-88"
}

A framework for defining logics, Robert Harper, Furio Honsell, Gordon Plotkin
@TechReport{ecs-lfcs-88-52,
  author = 	 "Robert Harper, Furio Honsell, Gordon Plotkin",
  title = 	 "A framework for defining logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-52",
  note =	 "also published as CSR-264-88",
  annote =	 "Workshop on general logic Edinburgh, February 1987 /
		  editors, A. Avron, R. Harper, F. Honsell, I. Mason,
		  G. Plotkin"
}

On functors expressible in the polymorphic typed lambda calculus, J C Reynolds & G D Plotkin
@TechReport{ecs-lfcs-88-53,
  author = 	 "J C Reynolds & G D Plotkin",
  title = 	 "On functors expressible in the polymorphic typed
		  lambda calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-53",
  note =	 "also published as CSR-265-88"
}

Unifying exceptions with constructors in standard ML, A. Appel, D. MacQueen, R. Milner, M. Tofte
@TechReport{ecs-lfcs-88-55,
  author = 	 "A. Appel, D. MacQueen, R. Milner, M. Tofte",
  title = 	 "Unifying exceptions with constructors in standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-55",
  note =	 "also published as CSR-266-88"
}

A survey of formal software development methods, Donald Sannella
@TechReport{ecs-lfcs-88-56,
  author = 	 "Donald Sannella",
  title = 	 "A survey of formal software development methods",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-56",
  note =	 "also published as CSR-268-88"
}

A higher-order calculus and theory abstraction, Zhaohui Luo
@TechReport{ecs-lfcs-88-57,
  author = 	 "Zhaohui Luo",
  title = 	 "A higher-order calculus and theory abstraction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-57",
  note =	 "also published as CSR-269-88"
}

CC_^ and its meta theory, Zhaohui Luo
@TechReport{ecs-lfcs-88-58,
  author = 	 "Zhaohui Luo",
  title = 	 "CC{_{}^{}} and its meta theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  key =		 "CC and its meta theory",
  number =	 "ECS-LFCS-88-58",
  note =	 "also published as CSR-270-88"
}

Constructing type systems over an operational semantics, Robert Harper
@TechReport{ecs-lfcs-88-59,
  author = 	 "Robert Harper",
  title = 	 "Constructing type systems over an operational
		  semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-59",
  note =	 "also published as CSR-271-88"
}

Some fundamental algebraic tools for the semantics of computation Part 3 : Indexed categories, A. Tarlecki, R.M. Burstall and J.A. Goguen
@TechReport{ecs-lfcs-88-60,
  author = 	 "A. Tarlecki, R.M. Burstall and J.A. Goguen",
  title = 	 "Some fundamental algebraic tools for the semantics
		  of computation Part 3 : Indexed categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-60",
  note =	 "also published as CSR-272-88"
}

The interactive proof editor / An experiment in interactive theorem, Brian Ritchie and Paul Taylor
@TechReport{ecs-lfcs-88-61,
  author = 	 "Brian Ritchie and Paul Taylor",
  title = 	 "The interactive proof editor /  An experiment in
		  interactive theorem",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-61",
  note =	 "also published as CSR-273-88"
}

The definition of standard ML version 2, Robert Harper, Robin Milner, Mads Tofte
@TechReport{ecs-lfcs-88-62,
  author = 	 "Robert Harper, Robin Milner, Mads Tofte",
  title = 	 "The definition of standard ML version 2",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-62",
  note =	 "also published as CSR-274-88"
}

Edinburgh University postgraduate examination questions in computation theory 1978-1988, Con Bradley, David Rydeheard, Martin Seysen and Glynn Winskel (1977/88)
@TechReport{ecs-lfcs-88-64,
  author = 	 "Con Bradley, David Rydeheard, Martin Seysen and
		  Glynn Winskel (1977/88)",
  title = 	 "Edinburgh University postgraduate examination
		  questions in computation theory 1978-1988",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  key =		 "Luca Cardelli, Luis Damas, Mark Jerrum (1978/79)
                  Gordon Brebner, Li Wei, Brian Monahan, Kevin
		  Mitchell (1979/80), Rocco De Nicola, Peter Dybjer,
		  Mark Millington, Carl Sturtivant (1980/81), Flemming
		  Nielson, Barbara Paech, Hanne Riis Nielson, Oliver
		  Schoett (1981/82), Ilaria Castellani, Andreas Goerdt,
		  K.V.S. Prasad, Brian Ritchie, Allen Stoughton
		  (1982/83), Tatsuya Hagino, Kim Larsen, Alistair
		  Sinclair (1983/84), Marek Bednarczyk, David Berry,
		  Martin Illsley (1984/85) Simon Brown, Mads Dam, Claire
		  Jones (1985/86), Jordi Farr{\'{e}}s-Casals, James
		  Harland, Pawel P{\c{a}}czkowski (1986/87), Jamie
		  Andrews, Jo Blishen, Julian Bradfield (1987/88)",
  number =	 "ECS-LFCS-88-64",
  note =	 "also published as CSR-276-88"
}

Co-induction in relational semantics, Robin Milner and Mads Tofte
@TechReport{ecs-lfcs-88-65,
  author = 	 "Robin Milner and Mads Tofte",
  title = 	 "Co-induction in relational semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-65",
  note =	 "also published as CSR-278-88"
}

Computational Lambda-calculus and monads, Eugenio Moggi
@TechReport{ecs-lfcs-88-66,
  author = 	 "Eugenio Moggi",
  title = 	 "Computational Lambda-calculus and monads",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-66",
  note =	 "also published as CSR-279-88"
}

An equational formulation of LF, Robert Harper
@TechReport{ecs-lfcs-88-67,
  author = 	 "Robert Harper",
  title = 	 "An equational formulation of LF",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-67",
  note =	 "also published as CSR-280-88"
}

A natural deduction treatment of operational semantics, Rod Burstall and Furio Honsell
@TechReport{ecs-lfcs-88-69,
  author = 	 "Rod Burstall and Furio Honsell",
  title = 	 "A natural deduction treatment of operational
		  semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-69",
  note =	 "also published as CSR-282-88"
}

Using constructions as a metalanguage, Paul Taylor
@TechReport{ecs-lfcs-88-70,
  author = 	 "Paul Taylor",
  title = 	 "Using constructions as a metalanguage",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-70",
  note =	 "also published as CSR-285-88"
}

Toward formal development of ML programs : foundations and methodology - Preliminary version -, Donald Sannella and Andrzej Tarlecki
@TechReport{ecs-lfcs-89-71,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Toward formal development of ML programs :
		  foundations and methodology  - Preliminary version -",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-71",
  note =	 "also published as CSR-289-89"
}

Proving correctness of constructor implementations, Jordi Farres-Casals
@TechReport{ecs-lfcs-89-72,
  author = 	 "Jordi Farres-Casals",
  title = 	 "Proving correctness of constructor implementations",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-72",
  note =	 "also published as CSR-286-89"
}

Four lectures on standard ML, Mads Tofte
@TechReport{ecs-lfcs-89-73,
  author = 	 "Mads Tofte",
  title = 	 "Four lectures on standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-73",
  note =	 "also published as CSR-290-89"
}

Structure and representation in LF, Robert Harper, Donald Sannella, Andrzej Tarlecki
@TechReport{ecs-lfcs-89-75,
  author = 	 "Robert Harper, Donald Sannella, Andrzej Tarlecki",
  title = 	 "Structure and representation in LF",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-75",
  note =	 "also published as CSR-292-89"
}

Characteristic formulae for CCS with divergence, Bernhard Steffen
@TechReport{ecs-lfcs-89-76,
  author = 	 "Bernhard Steffen",
  title = 	 "Characteristic formulae for CCS with divergence",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-76",
  note =	 "also published as CSR-294-89"
}

Proof-theoretic characterisations of logic programming, James H. Andrews
@TechReport{ecs-lfcs-89-77,
  author = 	 "James H. Andrews",
  title = 	 "Proof-theoretic characterisations of logic
		  programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-77",
  note =	 "also published as CSR-295-89"
}

Local model checking in the modal mu-calculus, Colin Stirling and David Walker
@TechReport{ecs-lfcs-89-78,
  author = 	 "Colin Stirling and David Walker",
  title = 	 "Local model checking in the modal mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-78",
  note =	 "also published as CSR-296-89"
}

Finite constants: Characterizations of a new decidable set of constants, Bernhard Steffen, Jens Knoop
@TechReport{ecs-lfcs-89-79,
  author = 	 "Bernhard Steffen, Jens Knoop",
  title = 	 "Finite constants: Characterizations of a new
		  decidable set of constants",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-79",
  note =	 "also published as CSR-297-89"
}

DIALOG : A theorem-proving environment designed to unify functional and logic programming, Mark Tarver
@TechReport{ecs-lfcs-89-80,
  author = 	 "Mark Tarver",
  title = 	 "DIALOG : A theorem-proving environment designed to
		  unify functional and logic programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-80",
  note =	 "also published as CSR-298-89"
}

The definition of standard ML Version 3, Robert Harper, Robin Milner, Mads Tofte
@TechReport{ecs-lfcs-89-81,
  author = 	 "Robert Harper, Robin Milner, Mads Tofte",
  title = 	 "The definition of standard ML Version 3",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-81",
  note =	 "also publishe as CSR-299-89"
}

Optimal data flow analysis via observational equivalence, Bernhard Steffen
@TechReport{ecs-lfcs-89-82,
  author = 	 "Bernhard Steffen",
  title = 	 "Optimal data flow analysis via observational
		  equivalence",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-82",
  note =	 "also published as CSR-300-89"
}

The concurrency workbench: a semantics based tool for the verification of concurrent system, Rance Cleaveland, Joachim Parrow, Bernhard Steffen
@TechReport{ecs-lfcs-89-83,
  author = 	 "Rance Cleaveland, Joachim Parrow, Bernhard Steffen",
  title = 	 "The concurrency workbench: a semantics based tool
		  for the verification of concurrent system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-83",
  note =	 "also published as CSR-301-89"
}

A calculus of mobile processes, Part I, Robin Milner, Joachim Parrow, David Walker
@TechReport{ecs-lfcs-89-85,
  author = 	 "Robin Milner, Joachim Parrow, David Walker",
  title = 	 "A calculus of mobile processes, Part I",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-85",
  note =	 "also published as CSR-302-89"
}

A calculus of mobile processes, Part II, Robin Milner, Joachim Parrow, David Walker
@TechReport{ecs-lfcs-89-86,
  author = 	 "Robin Milner, Joachim Parrow, David Walker",
  title = 	 "A calculus of mobile processes, Part II",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-86",
  note =	 "also published as CSR-303-89"
}

Relating Petri nets to formulae of linear logic, Carolyn Brown
@TechReport{ecs-lfcs-89-87,
  author = 	 "Carolyn Brown",
  title = 	 "Relating Petri nets to formulae of linear logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-87",
  note =	 "also published as CSR-304-89"
}

On natural deduction style semantics, environments and stores, Christian-Emil Ore
@TechReport{ecs-lfcs-89-88,
  author = 	 "Christian-Emil Ore",
  title = 	 "On natural deduction style semantics, environments
		  and stores",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-88",
  note =	 "also published as CSR-305-89"
}

Playing with Lego : Some examples of developing mathematics in the calculus of constructions, Paul Taylor
@TechReport{ecs-lfcs-89-89,
  author = 	 "Paul Taylor",
  title = 	 "Playing with Lego : Some examples of developing
		  mathematics in the calculus of constructions",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-89",
  note =	 "also published as CSR-306-89"
}

Some fundamental algebraic tools for the semantics of computation Part 3 : Indexed categories, R.M. Burstall, Joseph A. Goguen, A. Tarlecki
@TechReport{ecs-lfcs-89-90,
  author = 	 "R.M. Burstall, Joseph A. Goguen, A. Tarlecki",
  title = 	 "Some fundamental algebraic tools for the semantics
		  of computation Part 3 : Indexed categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-90",
  note =	 "also published as CSR-307-89"
}

Automated analysis of mutual exclusion algorithms using CCS, D.J. Walker
@TechReport{ecs-lfcs-89-91,
  author = 	 "D.J. Walker",
  title = 	 "Automated analysis of mutual exclusion algorithms
		  using CCS",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-91",
  note =	 "also published as CSR-308-89"
}

The structure of free closed categories, C.Barry Jay
@TechReport{ecs-lfcs-89-92,
  author = 	 "C.Barry Jay",
  title = 	 "The structure of free closed categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-92",
  note =	 "also published as CSR-310-89"
}

Equations, dependent equations and quasi-dependent equations - on their unification, Sun, Yong
@TechReport{ecs-lfcs-89-93,
  author = 	 "Sun, Yong",
  title = 	 "Equations, dependent equations and quasi-dependent
		  equations - on their unification",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-93",
  note =	 "also published as CSR-311-89"
}

Equational characterization of binding (extended abstract), Sun, Yong
@TechReport{ecs-lfcs-89-94,
  author = 	 "Sun, Yong",
  title = 	 "Equational characterization of binding (extended
		  abstract)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-94",
  note =	 "also published as CSR-312-89"
}

Logical design of VLSI circuit with extension of uncertainty (or monotonic functional completeness of kleene ternary logic, Sun, Yong
@TechReport{ecs-lfcs-89-95,
  author = 	 "Sun, Yong",
  title = 	 "Logical design of VLSI circuit with extension of
		  uncertainty (or monotonic functional completeness of
		  kleene ternary logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-95",
  note =	 "also published as CSR-313-89"
}

Petri nets as quantales, Carolyn Brown
@TechReport{ecs-lfcs-89-96,
  author = 	 "Carolyn Brown",
  title = 	 "Petri nets as quantales",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-96",
  note =	 "also published as CSR-314-89"
}

The nonexistence of finite axiomatisations for CCS congruences, Faron Moller
@TechReport{ecs-lfcs-89-97,
  author = 	 "Faron Moller",
  title = 	 "The nonexistence of finite axiomatisations for CCS
		  congruences",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-97",
  note =	 "also published as CSR-315-89"
}

Self-independent Petri Nets (or a dead-lock-free paradigm), Sun, Yong
@TechReport{ecs-lfcs-89-98,
  author = 	 "Sun, Yong",
  title = 	 "Self-independent Petri Nets (or a dead-lock-free
		  paradigm)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-98",
  note =	 "also published as CSR-316-89"
}

Compositional characterization of observable program properties, Bernhard Steffen, C. Barry Jay, Michael Mendler
@TechReport{ecs-lfcs-89-99,
  author = 	 "Bernhard Steffen, C. Barry Jay, Michael Mendler",
  title = 	 "Compositional characterization of observable program
		  properties",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-99",
  note =	 "also published as CSR-317-89"
}

Proving total correctness of concurrent programs without using auxiliary variables, Pawel P\caczkowski
@TechReport{ecs-lfcs-89-100,
  author = 	 "Pawel P{\c{a}}czkowski",
  title = 	 "Proving total correctness of concurrent programs
		  without using auxiliary variables",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  key =		 "Pawel Paczkowski",
  number =	 "ECS-LFCS-89-100",
  note =	 "also published as CSR-318-89"
}

Syntax. typechecking and dynamic semantics for extended ML, Donald Sannella, Fabio da Silva
@TechReport{ecs-lfcs-89-101,
  author = 	 "Donald Sannella, Fabio da Silva",
  title = 	 "Syntax. typechecking and dynamic semantics for
		  extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-101",
  note =	 "also published as CSR-320-89"
}

Formal program development in extended ML for the working programmer, Donald Sannella
@TechReport{ecs-lfcs-89-102,
  author = 	 "Donald Sannella",
  title = 	 "Formal program development in extended ML for the
		  working programmer",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-102",
  note =	 "also published as CSR-321-89"
}

Timing concurrent processes, Chris Tofts
@TechReport{ecs-lfcs-89-103,
  author = 	 "Chris Tofts",
  title = 	 "Timing concurrent processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-103",
  note =	 "also published as CSR-322-89"
}

A temporal calculus of communicating systems, Faron Moller, Chris Tofts
@TechReport{ecs-lfcs-89-104,
  author = 	 "Faron Moller, Chris Tofts",
  title = 	 "A temporal calculus of communicating systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-104",
  note =	 "also published as CSR-323-89"
}

Institutions: abstract model theory for specification and programming , Joseph A. Goguen, Rod Burstall
@TechReport{ecs-lfcs-90-106,
  author = 	 "Joseph A. Goguen, Rod Burstall",
  title = 	 "Institutions: abstract model theory for
		  specification and programming ",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-106"
}

Extending properties to categories of partial maps, C. Barry Jay
@TechReport{ecs-lfcs-90-107,
  author = 	 "C. Barry Jay",
  title = 	 "Extending properties to categories of partial maps",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-107"
}

Relative frequency in a synchronous calculus, Chris Tofts
@TechReport{ecs-lfcs-90-108,
  author = 	 "Chris Tofts",
  title = 	 "Relative frequency in a synchronous calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-108"
}

Tactics for state space reduction on the concurrency workbench, Matthew J. Morley
@TechReport{ecs-lfcs-90-109,
  author = 	 "Matthew J. Morley",
  title = 	 "Tactics for state space reduction on the concurrency
		  workbench",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-109"
}

The logical structure of sequential prolog, James H. Andrews
@TechReport{ecs-lfcs-90-110,
  author = 	 "James H. Andrews",
  title = 	 "The logical structure of sequential prolog",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-110"
}

Investigations into proof-search in a system of first-order dependent function types, David Pym and Lincoln Wallen
@TechReport{ecs-lfcs-90-111,
  author = 	 "David Pym and Lincoln Wallen",
  title = 	 "Investigations into proof-search in a system of
		  first-order dependent function types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-111"
}

Higher-order modules and the phase distinction, Robert Harper, John C. Mitchell and Eugenio Moggi
@TechReport{ecs-lfcs-90-112,
  author = 	 "Robert Harper, John C. Mitchell and Eugenio Moggi",
  title = 	 "Higher-order modules and the phase distinction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-112"
}

An abstract view of programming languages, Eugenio Moggi
@TechReport{ecs-lfcs-90-113,
  author = 	 "Eugenio Moggi",
  title = 	 "An abstract view of programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-113"
}

A systolic array for pyramidal algorithms, Christian Lengauer and Jingling Xue
@TechReport{ecs-lfcs-90-114,
  author = 	 "Christian Lengauer and Jingling Xue",
  title = 	 "A systolic array for pyramidal algorithms",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-114"
}

Local model checking for infinite state spaces, Julian Bradfield and Colin Stirling
@TechReport{ecs-lfcs-90-115,
  author = 	 "Julian Bradfield and Colin Stirling",
  title = 	 "Local model checking for infinite state spaces",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-115"
}

On the description and development of one-dimensional systolic arrays, Jingling Xue and Christian Lengauer
@TechReport{ecs-lfcs-90-116,
  author = 	 "Jingling Xue and Christian Lengauer",
  title = 	 "On the description and development of
		  one-dimensional systolic arrays",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-116"
}

Proving correctness w.r.t. specifications with hidden parts, Jordi Farr\'es-Casals
@TechReport{ecs-lfcs-90-117,
  author = 	 "Jordi Farr{\'{e}}s-Casals",
  title = 	 "Proving correctness w.r.t. specifications with
		  hidden parts",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  key =		 "Jordi Farres-Casals",
  number =	 "ECS-LFCS-90-117"
}

A problem of adequacy: conservativity of calculus of constructions over higher-order logic, Zhaohui Luo
@TechReport{ecs-lfcs-90-121,
  author = 	 "Zhaohui Luo",
  title = 	 "A problem of adequacy: conservativity of calculus of
		  constructions over higher-order logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-121"
}

$\pi$-calculus semantics of object-oriented programming languages, David Walker
@TechReport{ecs-lfcs-90-122,
  author = 	 "David Walker",
  title = 	 "{$\pi$}-calculus semantics of object-oriented
		  programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  key =		 "pi-calculus semantics of object-oriented programming
		  languages",
  number =	 "ECS-LFCS-90-122"
}

Translating CTL into the modal $\mu$-calculus, Mads Dam
@TechReport{ecs-lfcs-90-123,
  author = 	 "Mads Dam",
  title = 	 "Translating CTL into the modal {$\mu$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  key =		 "Translating CTL into the modal mu-calculus",
  number =	 "ECS-LFCS-90-123"
}

The uniform proof-theoretic foundation of linear logic programming, James Harland and David Pym
@TechReport{ecs-lfcs-90-124,
  author = 	 "James Harland and David Pym",
  title = 	 "The uniform proof-theoretic foundation of linear
		  logic programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-124"
}

Towards a formal framework for evaluation of operational semantics specifications, Fabio da Silva
@TechReport{ecs-lfcs-90-126,
  author = 	 "Fabio da Silva",
  title = 	 "Towards a formal framework for evaluation of
		  operational semantics specifications",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-126"
}

A timed calculus of communicating systems, Liang Chen, Stuart Anderson, Faron Moller
@TechReport{ecs-lfcs-90-127,
  author = 	 "Liang Chen, Stuart Anderson, Faron Moller",
  title = 	 "A timed calculus of communicating systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-127"
}

The autosynchronisation of Leptothorax Acervorum (Fabricius) described in WSCCS, Chris Tofts
@TechReport{ecs-lfcs-90-128,
  author = 	 "Chris Tofts",
  title = 	 "The autosynchronisation of Leptothorax Acervorum
		  (Fabricius) described in WSCCS",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-128"
}

Program specification and data refinement in type theory, Zhaohui Luo
@TechReport{ecs-lfcs-91-131,
  author = 	 "Zhaohui Luo",
  title = 	 "Program specification and data refinement
                  in type theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-131"
}

Computer assisted proof for mathematics: an introduction using the LEGO proof system, Rod Burstall
@TechReport{ecs-lfcs-91-132,
  author = 	 "Rod Burstall",
  title = 	 "Computer assisted proof for mathematics: an 
                  introduction using the LEGO proof system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-132"
}

Deliverables: an approach to program development in the calculus of constructions, Rod Burstall and James McKinna
@TechReport{ecs-lfcs-91-133,
  author = 	 "Rod Burstall and James McKinna",
  title = 	 "Deliverables: an approach to program development
                  in the calculus of constructions",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-133"
}

A systolizing compilation scheme, Michael Barnett and Christian Lengauer
@TechReport{ecs-lfcs-91-134,
  author = 	 "Michael Barnett and Christian Lengauer",
  title = 	 "A systolizing compilation scheme",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-134"
}

Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL,
@TechReport{ecs-lfcs-91-135,
  author = 	 "Bernd Krieg-Br{\"{u}}ckner, Donald Sannella",
  title = 	 "Structuring specifications in-the-large and 
                  in-the-small: higher-order functions, dependent
                  types and inheritance in SPECTRAL",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =          "Bernd Krieg-Bruckner"
  number =	 "ECS-LFCS-91-135"
}

Modal logics for mobile processes, Robin Milner, Joachim Parrow, David Walker
@TechReport{ecs-lfcs-91-136,
  author = 	 "Robin Milner, Joachim Parrow, David Walker",
  title = 	 "Modal logics for mobile processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-136"
}

The formalization and analysis of a communications protocol, Glenn Bruns and Stuart Anderson
@TechReport{ecs-lfcs-91-137,
  author = 	 "Glenn Bruns and Stuart Anderson",
  title = 	 "The formalization and analysis of a communications
                  protocol",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-137"
}

Extended ML: past, present and future, Donald Sannella and Andrzej Tarlecki
@TechReport{ecs-lfcs-91-138,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Extended ML: past, present and future",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-138"
}

A kernel specification formalism with higher- order parameterisation, Donald Sannella and Andrzej Tarlecki
@TechReport{ecs-lfcs-91-139,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "A kernel specification formalism with higher-
                  order parameterisation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-139"
}

Relating processes with respect to speed, Faron Moller, Chris Tofts
@TechReport{ecs-lfcs-91-143,
  author = 	 "Faron Moller, Chris Tofts",
  title = 	 "Relating processes with respect to speed",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-143"
}

Task allocation in monomorphic ant species, Chris Tofts
@TechReport{ecs-lfcs-91-144,
  author = 	 "Chris Tofts",
  title = 	 "Task allocation in monomorphic ant species",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-144"
}

Actions speak louder than words: proving bisimilarity for context-free processes,
@TechReport{ecs-lfcs-91-145,
  author = 	 "Hans H{\"{u}}ttel and Colin Stirling",
  title = 	 "Actions speak louder than words: proving 
                  bisimilarity for context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-91-145"
}

Proof search in the $\lambda\Pi$-calculus, David Pym, Lincoln Wallen
@TechReport{ecs-lfcs-91-146,
  author = 	 "David Pym, Lincoln Wallen",
  title = 	 "Proof search in the {$\lambda\Pi$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Proof search in the lambda Pi-calculus",
  number =	 "ECS-LFCS-91-146"
}

The Edinburgh SML library, Dave Berry
@TechReport{ecs-lfcs-91-148,
  author = 	 "Dave Berry",
  title = 	 "The Edinburgh SML library",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-148"
}

Tail recursion via universal invariants, C. Barry Jay
@TechReport{ecs-lfcs-91-151,
  author = 	 "C. Barry Jay",
  title = 	 "Tail recursion via universal invariants",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-151"
}

The systematic derivation of control signals for systolic arrays, Jingling Xue and Christian Lengauer
@TechReport{ecs-lfcs-91-152,
  author = 	 "Jingling Xue and Christian Lengauer",
  title = 	 "The systematic derivation of control signals for
                  systolic arrays",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-152"
}

An improved systolic array for string correction, Davide Sangiorgi, Christian Lengauer
@TechReport{ecs-lfcs-91-153,
  author = 	 "Davide Sangiorgi, Christian Lengauer",
  title = 	 "An improved systolic array for string correction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-153"
}

A unifying theory of dependent types I, Zhaohui Luo
@TechReport{ECS-LFCS-91-154,
  author = 	 "Zhaohui Luo",
  title = 	 "A unifying theory of dependent types I",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-154"
}

Embedding a CHDDL in a proof system, K.G.W. Goossens
@TechReport{ecs-lfcs-91-155,
  author = 	 "K.G.W. Goossens",
  title = 	 "Embedding a CHDDL in a proof system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-91-155"
}

The synthesis of control signals for one-dimensional systolic arrays, Jingling Xue, Christian Lengauer
@TechReport{ecs-lfcs-91-156,
  author = 	 "Jingling Xue, Christian Lengauer",
  title = 	 "The synthesis of control signals for one-dimensional
                  systolic arrays",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-156"
}

Modal and temporal logics, Colin Stirling
@TechReport{ecs-lfcs-91-157,
  author = 	 "Colin Stirling",
  title = 	 "Modal and temporal logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-157"
}

Logic programming in a fragment of intuitionistic linear logic: extended abstract, Joshua S Hodas, Dale Miller
@TechReport{ecs-lfcs-91-158,
  author = 	 "Joshua S Hodas, Dale Miller",
  title = 	 "Logic programming in a fragment of intuitionistic
                  linear logic: extended abstract",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-158"
}

A logic programming language with lambda-abstraction, function variables, and simple unification, Dale Miller
@TechReport{ecs-lfcs-91-159,
  author = 	 "Dale Miller",
  title = 	 "A logic programming language with lambda-abstraction,
                  function variables, and simple unification",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-159"
}

Unification of simply typed lambda-terms as logic programming, Dale Miller
@TechReport{ecs-lfcs-91-160,
  author = 	 "Dale Miller",
  title = 	 "Unification of simply typed lambda-terms as logic
                  programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-160"
}

Proof nets for multiplicative and additive linear logic, Gianluigi Bellin
@TechReport{ecs-lfcs-91-161,
  author = 	 "Gianluigi Bellin",
  title = 	 "Proof nets for multiplicative and additive linear
                  logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-161"
}

A framework for defining logics, Robert Harper, Furio Honsell, Gordon Plotkin
@TechReport{ecs-lfcs-91-162,
  author = 	 "Robert Harper, Furio Honsell, Gordon Plotkin",
  title = 	 "A framework for defining logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-162"
}

An analysis of a Monte Carlo algorithm for estimating the permanent, Mark Jerrum
@TechReport{ecs-lfcs-91-164,
  author = 	 "Mark Jerrum",
  title = 	 "An analysis of a Monte Carlo algorithm for 
                  estimating the permanent",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-164"
}

Classes of systolic Y-tree automata and a comparison with systolic trellis automata, E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi
@TechReport{ecs-lfcs-91-166,
  author = 	 "E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi",
  title = 	 "Classes of systolic Y-tree automata and a comparison
                  with systolic trellis automata",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-166"
}

A decision procedure revisited: notes on direct logic, linear logic and its implementation, Gianluigi Bellin and Jussi Ketonen
@TechReport{ecs-lfcs-91-167,
  author = 	 "Gianluigi Bellin and Jussi Ketonen",
  title = 	 "A decision procedure revisited: notes on direct
                  logic, linear logic and its implementation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-167"
}

The uniform proof-theoretic foundation of linear logic programming (extended abstract), James Harland, David Pym
@TechReport{ecs-lfcs-91-168,
  author = 	 "James Harland, David Pym",
  title = 	 "The uniform proof-theoretic foundation of linear 
                  logic programming (extended abstract)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-168"
}

Undecidable equivalences for basic process algebra,
@TechReport{ecs-lfcs-91-169,
  author = 	 "Jan Friso Groote, Hans H{\"{u}}ttel",
  title = 	 "Undecidable equivalences for basic process algebra",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-91-169"
}

Silence is golden: branching bisimilarity is decidable for context-free processes,
@TechReport{ecs-lfcs-91-173,
  author = 	 "Hans H{\"{u}}ttel",
  title = 	 "Silence is golden: branching bisimilarity is 
                  decidable for context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-91-173"
}

A distributed concurrent implementation of standard ML, David C. J. Matthews
@TechReport{ecs-lfcs-91-174,
  author = 	 "David C. J. Matthews",
  title = 	 "A distributed concurrent implementation of 
                  standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-174"
}

A language for value-passing CCS, Glenn Bruns
@TechReport{ecs-lfcs-91-175,
  author = 	 "Glenn Bruns",
  title = 	 "A language for value-passing CCS",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-175"
}

Recent developments in systolic design, Christian Lengauer, Jingling Xue
@TechReport{ecs-lfcs-91-176,
  author = 	 "Christian Lengauer, Jingling Xue",
  title = 	 "Recent developments in systolic design",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-176"
}

Modularizing the specification of a small database system in extended ML, Edmund Kazmierczak
@TechReport{ecs-lfcs-91-177,
  author = 	 "Edmund Kazmierczak",
  title = 	 "Modularizing the specification of a small database
                  system in extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-177"
}

Improved bounds for mixing rates of Markov chains and multicommodity flow, Alistair Sinclair
@TechReport{ecs-lfcs-91-178,
  author = 	 "Alistair Sinclair",
  title = 	 "Improved bounds for mixing rates of Markov chains
                  and multicommodity flow",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-178"
}

A mildly exponential approximation algorithm for the permanent, Mark Jerrum, Umesh Vazirani
@TechReport{ecs-lfcs-91-179,
  author = 	 "Mark Jerrum, Umesh Vazirani",
  title = 	 "A mildly exponential approximation algorithm for
                  the permanent",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-179"
}

The polyadic $\pi$-calculus: a tutorial, Robin Milner
@TechReport{ecs-lfcs-91-180,
  author = 	 "Robin Milner",
  title = 	 "The polyadic {$\pi$}-calculus: a tutorial",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "The polyadic pi-calculus: a tutorial",
  number =	 "ECS-LFCS-91-180"
}

Coherence in category theory and the Church-Rosser property, C. Barry Jay
@TechReport{ecs-lfcs-91-181,
  author = 	 "C. Barry Jay",
  title = 	 "Coherence in category theory and the 
                  Church-Rosser property",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-181"
}

Fixpoint and loop constructions as colimits, C. Barry Jay
@TechReport{ecs-lfcs-91-182,
  author = 	 "C. Barry Jay",
  title = 	 "Fixpoint and loop constructions as colimits",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-182"
}

Long $\beta\eta$ normal forms and confluence, C. Barry Jay
@TechReport{ecs-lfcs-91-183,
  author = 	 "C. Barry Jay",
  title = 	 "Long {$\beta\eta$} normal forms and confluence",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Long beta eta normal forms and confluence",
  number =	 "ECS-LFCS-91-183"
}

An interleaving model for real-time systems, Liang Chen
@TechReport{ecs-lfcs-91-184,
  author = 	 "Liang Chen",
  title = 	 "An interleaving model for real-time systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-184"
}

Decidability and completeness in real-time processes, Liang Chen
@TechReport{ecs-lfcs-91-185,
  author = 	 "Liang Chen",
  title = 	 "Decidability and completeness in real-time processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-185"
}

Modelling British rail's interlocking logic: geographic data correctness, M.J. Morley
@TechReport{ecs-lfcs-91-186,
  author = 	 "M.J. Morley",
  title = 	 "Modelling British rail's interlocking logic:
                  geographic data correctness",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-186"
}

Modelling reduction in confluent categories, C. Barry Jay
@TechReport{ecs-lfcs-91-187,
  author = 	 "C. Barry Jay",
  title = 	 "Modelling reduction in confluent categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-187"
}

An ideal model for an extended $\lambda$-calculus with refinement, J. Levy, J. Agust\'i, F. Esteva, P. Garc\'ia
@TechReport{ecs-lfcs-91-188,
  author = 	 "J. Levy, J. Agust{\'{i}}, F. Esteva, P. Garc{\'{i}}a",
  title = 	 "An ideal model for an extended {$\lambda$}-calculus
                  with refinement",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "J. Agusti, P. Garcia",
  number =	 "ECS-LFCS-91-188"
}

The lazy lambda calculus in a concurrency scenario, Davide Sangiorgi
@TechReport{ecs-lfcs-91-189,
  author = 	 "Davide Sangiorgi",
  title = 	 "The lazy lambda calculus in a concurrency scenario",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-189"
}

An n-categorical pasting theorem, A. J. Power
@TechReport{ecs-lfcs-91-190,
  author = 	 "A. J. Power",
  title = 	 "An n-categorical pasting theorem",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-190"
}

Semantics of local variables, P. W. O'Hearn, R. D. Tennent
@TechReport{ecs-lfcs-92-192,
  author = 	 "P. W. O'Hearn, R. D. Tennent",
  title = 	 "Semantics of local variables",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-192"
}

Verification of parallel systems via decomposition, Jan Friso Groote, Faron Moller
@TechReport{ecs-lfcs-92-193,
  author = 	 "Jan Friso Groote, Faron Moller",
  title = 	 "Verification of parallel systems via decomposition",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-193"
}

Formal program development in modular prolog: a case study, M. G. Read, E. A. Kazmierczak
@TechReport{ecs-lfcs-92-195,
  author = 	 "M. G. Read, E. A. Kazmierczak",
  title = 	 "Formal program development in modular prolog:
                  a case study",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-195"
}

Loop parallelization and unimodularity, Michael Barnett, Christian Lengauer
@TechReport{ecs-lfcs-92-197,
  author = 	 "Michael Barnett, Christian Lengauer",
  title = 	 "Loop parallelization and unimodularity",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-197"
}

A proof assistant for symbolic model-checking, J. C. Bradfield
@TechReport{ecs-lfcs-92-199,
  author = 	 "J. C. Bradfield",
  title = 	 "A proof assistant for symbolic model-checking",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-199"
}

Intersection types and bounded polymorphism, Benjamin C. Pierce
@TechReport{ecs-lfcs-92-200,
  author = 	 "Benjamin C. Pierce",
  title = 	 "Intersection types and bounded polymorphism",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-200"
}

Approximating the permanent: a simple approach, Lars Eilstrup Rasmussen
@TechReport{ecs-lfcs-92-201,
  author = 	 "Lars Eilstrup Rasmussen",
  title = 	 "Approximating the permanent: a simple approach",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-201"
}

A unifying theory of dependent types: the schematic approach, Zhaohui Luo
@TechReport{ecs-lfcs-92-202,
  author = 	 "Zhaohui Luo",
  title = 	 "A unifying theory of dependent types:
                  the schematic approach",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-202"
}

Toward formal development of programs from algebraic specifications: model-theoretic foundations, Donald Sannella, Andrzej Tarlecki
@TechReport{ecs-lfcs-92-204,
  author = 	 "Donald Sannella, Andrzej Tarlecki",
  title = 	 "Toward formal development of programs from algebraic
                  specifications: model-theoretic foundations",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-204"
}

Tail recursion through universal invariants, C. Barry Jay
@TechReport{ecs-lfcs-92-205,
  author = 	 "C. Barry Jay",
  title = 	 "Tail recursion through universal invariants",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-205"
}

A set-theoretic setting for structuring theories in proof development, Zhaohui Luo and Rod Burstall
@TechReport{ecs-lfcs-92-206,
  author = 	 "Zhaohui Luo and Rod Burstall",
  title = 	 "A set-theoretic setting for structuring theories
                  in proof development",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-206"
}

An introduction to fibrations, topos theory, the effective topos and modest sets, Wesley Phoa
@TechReport{ecs-lfcs-92-208,
  author = 	 "Wesley Phoa",
  title = 	 "An introduction to fibrations, topos theory, 
                  the effective topos and modest sets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-208"
}

Inductive data types: well-ordering types revisited, Healfdene Goguen, Zhaohui Luo
@TechReport{ecs-lfcs-92-209,
  author = 	 "Healfdene Goguen, Zhaohui Luo",
  title = 	 "Inductive data types: well-ordering types revisited",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-209"
}

Listing graphs that satisfy first order sentences, Leslie Ann Goldberg
@TechReport{ecs-lfcs-92-210,
  author = 	 "Leslie Ann Goldberg",
  title = 	 "Listing graphs that satisfy first order sentences",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-210"
}

LEGO proof development system: user's manual, Zhaohui Luo and Robert Pollack
@TechReport{ecs-lfcs-92-211,
  author = 	 "Zhaohui Luo and Robert Pollack",
  title = 	 "LEGO proof development system: user's manual",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-211"
}

On resolution in fragments of classical linear logic (extended abstract), J.A. Harland, D.J. Pym
@TechReport{ecs-lfcs-92-212,
  author = 	 "J.A. Harland, D.J. Pym",
  title = 	 "On resolution in fragments of classical linear 
                  logic (extended abstract)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-212"
}

A proposed categorical semantics for Pure ML, Wesley Phoa, Michael Fourman
@TechReport{ecs-lfcs-92-213,
  author = 	 "Wesley Phoa, Michael Fourman",
  title = 	 "A proposed categorical semantics for Pure ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-213"
}

From term models to domains, Wesley Phoa
@TechReport{ecs-lfcs-92-214,
  author = 	 "Wesley Phoa",
  title = 	 "From term models to domains",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-214"
}

Building domains from graph models, Wesley Phoa
@TechReport{ecs-lfcs-92-215,
  author = 	 "Wesley Phoa",
  title = 	 "Building domains from graph models",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-215"
}

Process-algebraic interpretations of positive linear and relevant logics, Mads Dam
@TechReport{ecs-lfcs-92-216,
  author = 	 "Mads Dam",
  title = 	 "Process-algebraic interpretations of positive
                  linear and relevant logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-216"
}

CTL$^*$ and ECTL$^*$ as fragments of the modal $\mu$-calculus, Mads Dam
@TechReport{ecs-lfcs-92-217,
  author = 	 "Mads Dam",
  title = 	 "CTL{$^{*}$} and ECTL{$^{*}$} as fragments of the 
                  modal {$\mu$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "CTL* and ECTL* as fragments of the modal
                  mu-calculus",
  number =	 "ECS-LFCS-92-217"
}

Bisimulation equivalence is decidable for all context-free processes,
@TechReport{ecs-lfcs-92-218,
  author = 	 "Soren Christensen, Hans H{\"{u}}ttel, Colin Stirling",
  title = 	 "Bisimulation equivalence is decidable for all
                  context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-92-218"
}

Unlimp uniqueness as a leitmotiv for implementation, Stefan Kahrs
@TechReport{ecs-lfcs-92-219,
  author = 	 "Stefan Kahrs",
  title = 	 "Unlimp uniqueness as a leitmotiv for implementation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-219"
}

Modal and temporal logics for processes, Colin Stirling
@TechReport{ecs-lfcs-92-221,
  author = 	 "Colin Stirling",
  title = 	 "Modal and temporal logics for processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-221"
}

Toward formal development of programs from algebraic specifications: parameterisation revisited, Donald Sannella, Stefan Sokolowski and Andrzej Tarlecki
@TechReport{ecs-lfcs-92-222,
  author = 	 "Donald Sannella, Stefan Sokolowski and 
                  Andrzej Tarlecki",
  title = 	 "Toward formal development of programs from algebraic
                  specifications: parameterisation revisited",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-222"
}

Relational parametricity and local variables (preliminary report), P.W. O'Hearn, R. D. Tennent
@TechReport{ecs-lfcs-92-223,
  author = 	 "P.W. O'Hearn, R. D. Tennent",
  title = 	 "Relational parametricity and local variables
                  (preliminary report)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-223"
}

, Mads Dam
@TechReport{ecs-lfcs-92-224,
  author = 	 "Mads Dam",
  title = 	 "Fixpoints of B{\"{u}}chi automata",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "Fixpoints of Buchi automata",
  number =	 "ECS-LFCS-92-224"
}

Object-oriented programming without recursive types, Benjamin C. Pierce, David N. Turner
@TechReport{ecs-lfcs-92-225,
  author = 	 "Benjamin C. Pierce, David N. Turner",
  title = 	 "Object-oriented programming without recursive types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992"",
  number =	 "ECS-LFCS-92-225"
}

An abstract view of objects and subtyping (preliminary report), M. Hofmann and Benjamin Pierce
@TechReport{ecs-lfcs-92-226,
  author = 	 "M. Hofmann and Benjamin Pierce",
  title = 	 "An abstract view of objects and subtyping
                  (preliminary report)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-226"
}

Formal development of functional programs in type theory -- a case study, Martin Hofmann
@TechReport{ecs-lfcs-92-228,
  author = 	 "Martin Hofmann",
  title = 	 "Formal development of functional programs in 
                  type theory -- a case study",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-228"
}

A unification algorithm for the $\lambda\Pi$-calculus, David J. Pym
@TechReport{ecs-lfcs-92-229,
  author = 	 "David J. Pym",
  title = 	 "A unification algorithm for the
                 {$\lambda\Pi$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "A unification algorithm for the lambdaPi-calculus",
  number =	 "ECS-LFCS-92-229"
}

Brewing strong normalization proofs with LEGO, Thorsten Altenkirch
@TechReport{ecs-lfcs-92-230,
  author = 	 "Thorsten Altenkirch",
  title = 	 "Brewing strong normalization proofs with LEGO",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-230"
}

Operational semantics based formal symbolic simulation, K. G. W. Goossens
@TechReport{ecs-lfcs-92-231,
  author = 	 "K. G. W. Goossens",
  title = 	 "Operational semantics based formal symbolic simulation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-231"
}

On the $\pi$-calculus and linear logic, G. Bellin, P.J. Scott
@TechReport{ecs-lfcs-92-232,
  author = 	 "G. Bellin, P.J. Scott",
  title = 	 "On the {$\pi$}-calculus and linear logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "On the pi-calculus and linear logic",
  number =	 "ECS-LFCS-92-232"
}

Correctness proofs of compilers and debuggers: an overview of an approach based on structural operational semantics (extended abstract of Ph.D. thesis), Fabio Q. B. da Silva
@TechReport{ecs-lfcs-92-233,
  author = 	 "Fabio Q. B. da Silva",
  title = 	 "Correctness proofs of compilers and debuggers:
                  an overview of an approach based on structural
                  operational semantics (extended abstract of 
                  Ph.D. thesis)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-233"
}

A sub-logarithmic communication algorithm for the completely connected optical communication parallel computer, Leslie Ann Goldberg and Mark Jerrum
@TechReport{ecs-lfcs-92-234,
  author = 	 "Leslie Ann Goldberg and Mark Jerrum",
  title = 	 "A sub-logarithmic communication algorithm for the 
                  completely connected optical communication 
                  parallel computer",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-234"
}

Functional compilation from the standard ML core language to lambda calculus, Nick Rothwell
@TechReport{ecs-lfcs-92-235,
  author = 	 "Nick Rothwell",
  title = 	 "Functional compilation from the standard ML core
		  language to lambda calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-235"
}

Parsing in the SML Kit, Nick Rothwell
@TechReport{ecs-lfcs-92-236,
  author = 	 "Nick Rothwell",
  title = 	 "Parsing in the SML Kit",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-236"
}

Miscellaneous design issues in the ML Kit, Nick Rothwell
@TechReport{ecs-lfcs-92-237,
  author = 	 "Nick Rothwell",
  title = 	 "Miscellaneous design issues in the ML Kit",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-237"
}

Polymorphic type checking by interpretation of code, Stefan Kahrs
@TechReport{ecs-lfcs-92-238,
  author = 	 "Stefan Kahrs",
  title = 	 "Polymorphic type checking by interpretation of code",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-238"
}

A case study in safety-critical design, Glenn Bruns
@TechReport{ecs-lfcs-92-239,
  author = 	 "Glenn Bruns",
  title = 	 "A case study in safety-critical design",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-239"
}

Observational equivalence and compiler correctness, Fabio Q. B. da Silva
@TechReport{ecs-lfcs-92-240,
  author = 	 "Fabio Q. B. da Silva",
  title = 	 "Observational equivalence and compiler correctness",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-240"
}

Deliverables: a categorical approach to program development in type theory, Rod Burstall and James McKinna
@TechReport{ecs-lfcs-92-242,
  author = 	 "Rod Burstall and James McKinna",
  title = 	 "Deliverables: a categorical approach to program
		  development in type theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-242"
}

The virtues of eta-expansion, C. Barry Jay and Neil Ghani
@TechReport{ecs-lfcs-92-243,
  author = 	 "C. Barry Jay and Neil Ghani",
  title = 	 "The virtues of eta-expansion",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-243"
}

Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes, S. Christensen, Y. Hirshfeld and F. Moller
@TechReport{ecs-lfcs-92-244,
  author = 	 "S. Christensen, Y. Hirshfeld and F. Moller",
  title = 	 "Decomposability, decidability and axiomatisability
		  for bisimulation equivalence on basic 
                  parallel processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-244"
}

A semantics for static type inference, Gordon Plotkin
@TechReport{ecs-lfcs-92-245,
  author = 	 "Gordon Plotkin",
  title = 	 "A semantics for static type inference",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-245"
}

Logic programming via proof-valued computations, David J. Pym and Lincoln A. Wallen
@TechReport{ecs-lfcs-92-246,
  author = 	 "David J. Pym and Lincoln A. Wallen",
  title = 	 "Logic programming via proof-valued computations",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-246"
}

A synopsis on the identification of linear logic programming languages, James Harland and David Pym
@TechReport{ecs-lfcs-92-248,
  author = 	 "James Harland and David Pym",
  title = 	 "A synopsis on the identification of linear logic
		  programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-248"
}

Action structures, Robin Milner
@TechReport{ecs-lfcs-92-249,
  author = 	 "Robin Milner",
  title = 	 "Action structures",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-249"
}

Equivalences between logics and their representing type theories, Philippa Gardner
@TechReport{ecs-lfcs-92-251,
  author = 	 "Philippa Gardner",
  title = 	 "Equivalences between logics and their representing
		  type theories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-251"
}

Hiding and behaviour: an institutional approach, Rod Burstall and R\uazvan Diaconescu
@TechReport{ecs-lfcs-92-253,
  author = 	 "Rod Burstall and R{\u{a}}zvan Diaconescu",
  title = 	 "Hiding and behaviour: an institutional approach",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =          "Razvan Diaconescu", 
  number =	 "ECS-LFCS-92-253"
}

Enrichment through variation, R. Gordon, A. J. Power
@TechReport{ecs-lfcs-93-254,
  author = 	 "R. Gordon, A. J. Power",
  title = 	 "Enrichment through variation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-254"
}

Statically typed friendly functions via partially abstract types, Benjamin C. Pierce, David N. Turner
@TechReport{ecs-lfcs-93-256,
  author = 	 "Benjamin C. Pierce, David N. Turner",
  title = 	 "Statically typed friendly functions via partially
		  abstract types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-256"
}

Mistakes and ambiguities in the definition of standard ML, Stefan Kahrs
@TechReport{ecs-lfcs-93-257,
  author = 	 "Stefan Kahrs",
  title = 	 "Mistakes and ambiguities in the definition of
		  standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-257"
}

Approximately counting Hamilton cycles in dense graphs, Martin Dyer, Alan Frieze, Mark Jerrum
@TechReport{ecs-lfcs-93-259,
  author = 	 "Martin Dyer, Alan Frieze, Mark Jerrum",
  title = 	 "Approximately counting Hamilton cycles in dense graphs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-259"
}

Simulated annealing for graph bisection, Mark Jerrum, Gregory Sorkin
@TechReport{ecs-lfcs-93-260,
  author = 	 "Mark Jerrum, Gregory Sorkin",
  title = 	 "Simulated annealing for graph bisection",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-260"
}

Decidability questions for bisimilarity of Petri nets and some related problems, Petr Jan\ucar
@TechReport{ecs-lfcs-93-261,
  author = 	 "Petr Jan{\u{c}}ar",
  title = 	 "Decidability questions for bisimilarity of Petri
		  nets and some related problems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  key =          "Petr Jancar", 
  number =	 "ECS-LFCS-93-261"
}

Algebraic theories for name-passing calculi, Joachim Parrow and Davide Sangiorgi
@TechReport{ecs-lfcs-93-262,
  author = 	 "Joachim Parrow and Davide Sangiorgi",
  title = 	 "Algebraic theories for name-passing calculi",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-262"
}

Literate programming: a review, Angus Duggan
@TechReport{ecs-lfcs-93-263,
  author = 	 "Angus Duggan",
  title = 	 "Literate programming: a review",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-263"
}

Action structures for the -calculus, Robin Milner
@TechReport{ecs-lfcs-93-264,
  author = 	 "Robin Milner",
  title = 	 "Action structures for the -calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-264"
}

Errata and remarks, David J. Pym
@TechReport{ecs-lfcs-93-265,
  author = 	 "David J. Pym",
  title = 	 "Errata and remarks",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-265"
}

Correctness of data representations in Algol-like languages, R.D. Tennent
@TechReport{ecs-lfcs-93-267,
  author = 	 "R.D. Tennent",
  title = 	 "Correctness of data representations in Algol-like
		  languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-267"
}

The formalisation of a hardware description language in a proof system: motivation and applications, K. G. W. Goossens
@TechReport{ecs-lfcs-93-269,
  author = 	 "K. G. W. Goossens",
  title = 	 "The formalisation of a hardware description language
		  in a proof system: motivation and applications",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-269"
}

A theory of bisimulation for the -calculus, Davide Sangiorgi
@TechReport{ecs-lfcs-93-270,
  author = 	 "Davide Sangiorgi",
  title = 	 "A theory of bisimulation for the -calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-270"
}

Uniform sampling modulo a group of symmetries using Markov chain simulation, Mark Jerrum
@TechReport{ecs-lfcs-93-272,
  author = 	 "Mark Jerrum",
  title = 	 "Uniform sampling modulo a group of symmetries using
		  Markov chain simulation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-272"
}

Structure and behaviour in hardware verification, K. G. W. Goossens
@TechReport{ecs-lfcs-93-273,
  author = 	 "K. G. W. Goossens",
  title = 	 "Structure and behaviour in hardware verification",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-273"
}

On the decidability of model checking for several -calculi and Petri nets, Javier Esparza
@TechReport{ecs-lfcs-93-274,
  author = 	 "Javier Esparza",
  title = 	 "On the decidability of model checking for several 
                  -calculi and Petri nets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-274"
}

Multiple inheritance via intersection types, Adriana B. Compagnoni, Benjamin C. Pierce
@TechReport{ecs-lfcs-93-275,
  author = 	 "Adriana B. Compagnoni, Benjamin C. Pierce",
  title = 	 "Multiple inheritance via intersection types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-275"
}

Undecidable equivalences for basic parallel processes,
@TechReport{ecs-lfcs-93-276,
  author = 	 "Hans H{\"{u}}ttel",
  title = 	 "Undecidable equivalences for basic parallel
		  processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  key =          "Hans Huttel",
  number =	 "ECS-LFCS-93-276"
}

Higher-order subtyping, Martin Steffen, Benjamin Pierce
@TechReport{ecs-lfcs-94-280,
  author = 	 "Martin Steffen, Benjamin Pierce",
  title = 	 "Higher-order subtyping",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-280"
}

Subtyping in F^_ is decidable, Adriana B. Compagnoni
@TechReport{ecs-lfcs-94-281,
  author = 	 "Adriana B. Compagnoni",
  title = 	 "Subtyping in {F^{}_{}} is decidable",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =		 "Subtyping in F is decidable",
  number =	 "ECS-LFCS-94-281"
}

Locality and non-interleaving semantics in calculi for mobile processes, Davide Sangiorgi
@TechReport{ecs-lfcs-94-282,
  author = 	 "Davide Sangiorgi",
  title = 	 "Locality and non-interleaving semantics in calculi
		  for mobile processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-282"
}

Interfaces and extended ML, Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
@TechReport{ecs-lfcs-94-283,
  author = 	 "Stefan Kahrs, Donald Sannella, Andrzej Tarlecki",
  title = 	 "Interfaces and extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-283"
}

First-class polymorphisms for ML, Stefan Kahrs
@TechReport{ecs-lfcs-94-284,
  author = 	 "Stefan Kahrs",
  title = 	 "First-class polymorphisms for ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-284"
}

The mobility workbench a tool for the -calculus,
@TechReport{ecs-lfcs-94-285,
  author = 	 "Bj{\"{o}}rn Victor, Faron Moller",
  title = 	 "The mobility workbench a tool for the -calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "Bjorn Victor",
  number =	 "ECS-LFCS-94-285"
}

A polynomial algorithm for deciding bisimilarity of normed context-free processes, Yoram Hirshfeld, Mark Jerrum, Faron Moller
@TechReport{ecs-lfcs-94-286,
  author = 	 "Yoram Hirshfeld, Mark Jerrum, Faron Moller",
  title = 	 "A polynomial algorithm for deciding bisimilarity of
		  normed context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-286"
}

Applying process refinement to a safety-relevant system, Glenn Bruns
@TechReport{ecs-lfcs-94-287,
  author = 	 "Glenn Bruns",
  title = 	 "Applying process refinement to a safety-relevant
		  system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-287"
}

A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes, Yoram Hirshfeld, Mark Jerrum, Faron Moller
@TechReport{ecs-lfcs-94-288,
  author = 	 "Yoram Hirshfeld, Mark Jerrum, Faron Moller",
  title = 	 "A polynomial-time algorithm for deciding
		  bisimulation equivalence of normed basic parallel
		  processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-288"
}

Why tricategories?, A.J. Power
@TechReport{ecs-lfcs-94-289,
  author = 	 "A.J. Power",
  title = 	 "Why tricategories?",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-289"
}

A very simple algorithm for estimating the number of -colourings of a low-degree graph, Mark Jerrum
@TechReport{ecs-lfcs-94-290,
  author = 	 "Mark Jerrum",
  title = 	 "A very simple algorithm for estimating the number of
		  -colourings of a low-degree graph",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =		 "A very simple algorithm for estimating the number of
		  k-colourings of a low-degree graph",
  number =	 "ECS-LFCS-94-290"
}

Congruences in commutative semigroups, Yoram Hirshfeld
@TechReport{ecs-lfcs-94-291,
  author = 	 "Yoram Hirshfeld",
  title = 	 "Congruences in commutative semigroups",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-291"
}

Improved approximation algorithms for MAX -CUT and MAX BISECTION, Alan Frieze and Mark Jerrum
@TechReport{ecs-lfcs-94-292,
  author = 	 "Alan Frieze and Mark Jerrum",
  title = 	 "Improved approximation algorithms for MAX -CUT and
		  MAX BISECTION",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "Improved approximation algorithms for MAX k-CUT and
		  MAX BISECTION",
  number =	 "ECS-LFCS-94-292"
}

, Roope Kaivola
@TechReport{ecs-lfcs-94-293,
  author = 	 "Roope Kaivola",
  title = 	 "On modal mu-calculus and B{\"{u}}chi tree automata",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "On modal mu-calculus and Buchi tree automata",
  number =	 "ECS-LFCS-94-293"
}

Deciding equivalences in simple process algebras, Yoram Hirshfeld
@TechReport{ecs-lfcs-94-294,
  author = 	 "Yoram Hirshfeld",
  title = 	 "Deciding equivalences in simple process algebras",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-294"
}

Trapping mutual exclusion in the box calculus, Javier Esparza and Glenn Bruns
@TechReport{ecs-lfcs-94-295,
  author = 	 "Javier Esparza and Glenn Bruns",
  title = 	 "Trapping mutual exclusion in the box calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-295"
}

The computational complexity of counting, Mark Jerrum
@TechReport{ecs-lfcs-94-296,
  author = 	 "Mark Jerrum",
  title = 	 "The computational complexity of counting",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-296"
}

A fully abstract semantics for causality in the - calculus, Michele Boreale and Davide Sangiorgi
@TechReport{ecs-lfcs-94-297,
  author = 	 "Michele Boreale and Davide Sangiorgi",
  title = 	 "A fully abstract semantics for causality in the -
		  calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-297"
}

High undecidability of weak bisimilarity for petri nets, Petr Jan\^car
@TechReport{ecs-lfcs-94-298,
  author = 	 "Petr Jan{\^{c}}ar",
  title = 	 "High undecidability of weak bisimilarity for petri
		  nets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "Petr Jancar",
  number =	 "ECS-LFCS-94-298"
}

On the bisimulation proof method, Davide Sangiorgi
@TechReport{ecs-lfcs-94-299,
  author = 	 "Davide Sangiorgi",
  title = 	 "On the bisimulation proof method",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-299"
}

The definition of extended ML, Stefan Kahrs, Donald Sannella and Andrzej Tarlecki
@TechReport{ecs-lfcs-94-300,
  author = 	 "Stefan Kahrs, Donald Sannella and Andrzej Tarlecki",
  title = 	 "The definition of extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-300"
}

An old sub-quadratic algorithm for finding extremal sets, Paul Pritchard
@TechReport{ecs-lfcs-94-301,
  author = 	 "Paul Pritchard",
  title = 	 "An old sub-quadratic algorithm for finding extremal
		  sets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-301"
}

Decidability of model checking for infinite-state concurrent systems, Javier Esparza
@TechReport{ecs-lfcs-94-302,
  author = 	 "Javier Esparza",
  title = 	 "Decidability of model checking for infinite-state
		  concurrent systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-302"
}

Positive subtyping, Martin Hofmann and Benjamin Pierce
@TechReport{ecs-lfcs-94-303,
  author = 	 "Martin Hofmann and Benjamin Pierce",
  title = 	 "Positive subtyping",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-303"
}

Balancing load under large and fast load changes in distributed computing systems --- A case study, Thierry Le Sergent and Bernard Berthomieu
@TechReport{ecs-lfcs-94-305,
  author = 	 "Thierry Le Sergent and Bernard Berthomieu",
  title = 	 "Balancing load under large and fast load changes in
		  distributed computing systems --- A case study",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-305"
}

Adaptive selection of protocols for strict coherency in distributed shared memory, Thierry Le Sergent and David C.J. Matthews
@TechReport{ecs-lfcs-94-306,
  author = 	 "Thierry Le Sergent and David C.J. Matthews",
  title = 	 "Adaptive selection of protocols for strict coherency
		  in distributed shared memory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-306"
}

On computing the subset graph of a collection of sets, Paul Pritchard
@TechReport{ecs-lfcs-94-309,
  author = 	 "Paul Pritchard",
  title = 	 "On computing the subset graph of a collection of
		  sets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-309"
}

Supporting formal reasoning about standard ML, Graham Collins and Stephen Gilmore
@TechReport{ecs-lfcs-94-310,
  author = 	 "Graham Collins and Stephen Gilmore",
  title = 	 "Supporting formal reasoning about standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-310"
}

Concurrency in a natural semantics, Kevin Mitchell
@TechReport{ecs-lfcs-94-311,
  author = 	 "Kevin Mitchell",
  title = 	 "Concurrency in a natural semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-311"
}

Multiple values in standard ML, Kevin Mitchell
@TechReport{ecs-lfcs-94-312,
  author = 	 "Kevin Mitchell",
  title = 	 "Multiple values in standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-312"
}

Generating and counting Hamilton cycles in random regular graphs, Alan Frieze, Mark Jerrum, Michael Molloy, Robert Robinson & Nicholas Wormald
@TechReport{ecs-lfcs-94-313,
  author = 	 "Alan Frieze, Mark Jerrum, Michael Molloy, Robert
		  Robinson & Nicholas Wormald",
  title = 	 "Generating and counting Hamilton cycles in random
		  regular graphs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-313"
}

Towards a domain theory for termination proofs, Stefan Kahrs
@TechReport{ecs-lfcs-95-314,
  author = 	 "Stefan Kahrs",
  title = 	 "Towards a domain theory for termination proofs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-314"
}

Correct separate and selective closure conversion, Paul Steckler
@TechReport{ecs-lfcs-95-315,
  author = 	 "Paul Steckler",
  title = 	 "Correct separate and selective closure conversion",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-315"
}

LEMMA interface definition, David C.J. Matthews and Thierry Le Sergent
@TechReport{ecs-lfcs-95-316,
  author = 	 "David C.J. Matthews and Thierry Le Sergent",
  title = 	 "LEMMA interface definition",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-316"
}

Computational P\'olya theory, Mark Jerrum
@TechReport{ecs-lfcs-95-317,
  author = 	 "Mark Jerrum",
  title = 	 "Computational P{\'{o}}lya theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  key =		 "Computational Polya theory",
  number =	 "ECS-LFCS-95-317"
}

On behavioural abstraction and behavioural satisfaction in higher-order logic, Martin Hofmann and Donald Sannella
@TechReport{ecs-lfcs-95-318,
  author = 	 "Martin Hofmann and Donald Sannella",
  title = 	 "On behavioural abstraction and behavioural
		  satisfaction in higher-order logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-318"
}

Proof and design, Michael P. Fourman
@TechReport{ecs-lfcs-95-319,
  author = 	 "Michael P. Fourman",
  title = 	 "Proof and design",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-319"
}

Typing abstract data types, Judith Underwood
@TechReport{ecs-lfcs-95-320,
  author = 	 "Judith Underwood",
  title = 	 "Typing abstract data types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-320"
}

Tableau for intuitionistic predicate logic as metatheory, Judith Underwood
@TechReport{ecs-lfcs-95-321,
  author = 	 "Judith Underwood",
  title = 	 "Tableau for intuitionistic predicate logic as
		  metatheory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-321"
}

The definition of Extended ML: a gentle introduction, Stefan Kahrs, Donald Sannella & Andrzej Tarlecki
@TechReport{ecs-lfcs-95-322,
  author = 	 "Stefan Kahrs, Donald Sannella & Andrzej Tarlecki",
  title = 	 "The definition of Extended ML: a gentle
		  introduction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-322"
}

Axiomatising linear time mu-calculus, Roope Kaivola
@TechReport{ecs-lfcs-95-324,
  author = 	 "Roope Kaivola",
  title = 	 "Axiomatising linear time mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-324"
}

LEMMA : a distributed shared memory with global and local garbage collection, David C.J. Matthews, Thierry Le Sergent
@TechReport{ecs-lfcs-95-325,
  author = 	 "David C.J. Matthews, Thierry Le Sergent",
  title = 	 "LEMMA : a distributed shared memory with global and
		  local garbage collection",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-325"
}

A quasi-polynomial-time algorithm for sampling words from a context-free language, Vivek Gore, Mark Jerrum
@TechReport{ecs-lfcs-95-326,
  author = 	 "Vivek Gore, Mark Jerrum",
  title = 	 "A quasi-polynomial-time algorithm for sampling words
		  from a context-free language",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-326"
}

Lax naturality through enrichment, Yoshiki Kinoshita, John Power
@TechReport{ecs-lfcs-95-330,
  author = 	 "Yoshiki Kinoshita, John Power",
  title = 	 "Lax naturality through enrichment",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-330"
}

First steps on the representation of domains, Marcelo P. Fiore
@TechReport{ecs-lfcs-95-331,
  author = 	 "Marcelo P. Fiore",
  title = 	 "First steps on the representation of domains",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-331"
}

Formal design of a class of computers, Li-Guo Wang, Michael Mendler
@TechReport{ecs-lfcs-95-333,
  author = 	 "Li-Guo Wang, Michael Mendler",
  title = 	 "Formal design of a class of computers",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-333"
}

Abstraction of hardware construction, Li-Guo Wang, Michael Mendler
@TechReport{ecs-lfcs-95-334,
  author = 	 "Li-Guo Wang, Michael Mendler",
  title = 	 "Abstraction of hardware construction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-334"
}

Papers on Poly/ML, D.C.J. Matthews
@TechReport{ecs-lfcs-95-335,
  author = 	 "D.C.J. Matthews",
  title = 	 "Papers on Poly/ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-335"
}

An effective tableau system for the linear time mu-calculus, Julian Bradfield, Javier Esparza, Angelika Mader
@TechReport{ecs-lfcs-95-337,
  author = 	 "Julian Bradfield, Javier Esparza, Angelika Mader",
  title = 	 "An effective tableau system for the linear time mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-337"
}

On the expressivity of the modal mu-calculus, J.C. Bradfield
@TechReport{ecs-lfcs-95-338,
  author = 	 "J.C. Bradfield",
  title = 	 "On the expressivity of the modal mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-338"
}

Detecting local channels in distributed Poly/ML, Paul Steckler
@TechReport{ecs-lfcs-96-340,
  author = 	 "Paul Steckler",
  title = 	 "Detecting local channels in distributed Poly/ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1996,
  number =	 "ECS-LFCS-96-340"
}

Partial functions in a total setting, Simon Finn, Michael Fourman, John Longley
@TechReport{ecs-lfcs-96-341,
  author = 	 "Simon Finn, Michael Fourman, John Longley",
  title = 	 "Partial functions in a total setting",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1996,
  number =	 "ECS-LFCS-96-341"
}