LFCS reports 1987
- 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