People
Events
Research
Home
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
Previous
|
Index
|
Next