LFCS reports 1986

• Is Computing an Experimental Science
  R.Milner
  LFCS report ECS-LFCS-86-1
• Standard ML
  Harper, MacQueen and Milner
  LFCS report ECS-LFCS-86-2
  
• Functor-Category Semantics of Programming Languages and Logics
  R. Tennent
  LFCS report ECS-LFCS-86-3
  
• Context-Dependent Bisimulation between Processes
  K. Larsen
  LFCS report ECS-LFCS-86-4 (also published as CST-37-86)
  
• Semantical Analysis of Specification Logic
  R.Tennent
  LFCS report ECS-LFCS-86-5
• Quantification in Algol-like Languages
  R.Tennent
  LFCS report ECS-LFCS-86-6
  
• A Calculus of Communicating Systems
  R.Milner
  LFCS report ECS-LFCS-86-7
  
• A Complete Axiomatisation for Observational Congruence of Finite-State Behaviours
  R.Milner
  LFCS report ECS-LFCS-86-8
  
• Computing with Categories
  R.Burstall and D.Rydeheard
  LFCS report ECS-LFCS-86-9
  
• A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments
  R.Burstall and J.Goguen
  LFCS report ECS-LFCS-86-10
  
• Modules and Persistence in Standard ML
  R.Harper
  LFCS report ECS-LFCS-86-11
  
• Research in Interactive Theorem Proving at Edinburgh University
  R.Burstall
  LFCS report ECS-LFCS-86-12
  
• A Complete Protocol Verification using Relativized Bisimulation
  K. Larsen and R. Milner
  LFCS report ECS-LFCS-86-13
  
• Introduction to Standard ML
  R.Harper
  LFCS report ECS-LFCS-86-14
  
• Formal Specification of ML Programs
  D.Sannella
  LFCS report ECS-LFCS-86-15
  
• Extended ML: An institution-independent framework for formal program development
  D.Sannella and A.Tarlecki
  LFCS report ECS-LFCS-86-16
  
• Toward formal development of programs from algebraic specifications: implementations revisited
  D.Sannella and A.Tarlecki
  LFCS report ECS-LFCS-86-17