**Verifying a CSMA/CD-protocol with CCS**

J. Parrow

*LFCS report ECS-LFCS-87-18*

**Data Abstraction and the Correctness of Modular Programming**

O.Schoett

*LFCS report ECS-LFCS-87-19 (also published as CST-42-87)*

**Gentzenizing Schroeder-Heister's Natural extension of natural deduction**

A. Avron

*LFCS report ECS-LFCS-87-20*

**Some thoughts on algebraic specification**

D.Sannella and A.Tarlecki

*LFCS report ECS-LFCS-87-21*

**Introduction to a Calculus of Communicating Systems**

D. Walker

*LFCS report ECS-LFCS-87-22*

**A Framework for Defining Logics**

R.Harper, F.Honsell and G.Plotkin

*LFCS report ECS-LFCS-87-23*

**Comparing Linear and Branching Time Temporal Logics**

C. Stirling

*LFCS report ECS-LFCS-87-24*

**Inductively Defined Functions in Functional Programming Languages**

R. Burstall

*LFCS report ECS-LFCS-87-25*

**Submodule Construction as Equation Solving in CCS**

J. Parrow

*LFCS report ECS-LFCS-87-26*

**The Semantics and Proof Theory of Linear Logic**

A. Avron

*LFCS report ECS-LFCS-87-27*

**A Type Discipline for Program Modules**

R.Harper, R.Milner and M.Tofte

*LFCS report ECS-LFCS-87-28*

**Bisimulation equivalence and divergence in CCS**

D. Walker

*LFCS report ECS-LFCS-87-29*

**Simple Consequence Relations**

A. Avron

*LFCS report ECS-LFCS-87-30*

**Using Typed Lambda Calculus to Implement Formal Systems on a Machine**

Avron, Honsell and Mason

*LFCS report ECS-LFCS-87-31*

**Hoare's Logic in the LF**

I. Mason

*LFCS report ECS-LFCS-87-32*

**Changes to the Standard ML Core Language**

R. Milner

*LFCS report ECS-LFCS-87-33*

**An Environment for Formal Systems**

T G Griffin

*LFCS report ECS-LFCS-87-34*

**Synchronisation Flow Algebra**

J Parrow

*LFCS report ECS-LFCS-87-35*

**The Semantics of Standard ML - Version 1**

Harper, Milner, Tofte

*LFCS report ECS-LFCS-87-36*

**The Generation of Concurrent Code for Declarative Languages**

N. Rothwell

*ECS-LFCS-87-37 (also published as CST-44-87)*

**A Categorical Programming Language**

T. Hagino

*LFCS report ECS-LFCS-87-38 (also published as CST-47-87)*

**Theories of translation correctness for concurrent programming language**

M. Millington

*LFCS report ECS-LFCS-87-39 (also published as CST-46-87)*

**Verification of Programs that Destructively Manipulate Data**

I. Mason

*LFCS report ECS-LFCS-87-40*

**Fifth Workshop on Specification of Abstract Data Types**

D. Sannella

*LFCS report ECS-LFCS-87-41*

**The Essence of ML**

R. Harper and J. Mitchell

*LFCS report ECS-LFCS-87-42*

**Relative Completeness in Algebraic Specification**

Lin Huimin

*LFCS report ECS-LFCS-87-43*