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