LFCS reports 1990
- Probabilistic Non-Determinism
Claire Jones
LFCS report ECS-LFCS-90-105 (also published as CST-63-90)
- INSTITUTIONS: Abstract Model Theory for Specification and
Programming
R. Burstall and J. Goguen
LFCS report ECS-LFCS-90-106
- Extending properties to categories of partial maps
C. Barry Jay
LFCS report ECS-LFCS-90-107
- Relative Frequency in a Synchronous Calculus
Chris Tofts
LFCS report ECS-LFCS-90-108
- Tactics for State Space Reduction on the Concurrency
Workbench
M.J. Morley
LFCS report ECS-LFCS-90-109
- The Logical Structure of Sequential Prolog
J. Andrews
LFCS report ECS-LFCS-90-110
- Investigations into proof-search in a system of first-order
dependent function types
D. Pym and L. Wallen
LFCS report ECS-LFCS-90-111
- Higher-Order Modules and the Phase Distinction
Harper, Moggi and Mitchell
LFCS report ECS-LFCS-90-112
- An Abstract View of Programming Languages
E. Moggi
LFCS report ECS-LFCS-90-113
- A Systolic Array for Pyramidal Algorithms
C. Lengauer and J. Xue
LFCS report ECS-LFCS-90-114
- Local Model Checking for Infinite State Spaces
Julian Bradfield and Colin Stirling
LFCS report ECS-LFCS-90-115
- On the Description and Development of One-Dimensional
Systolic Arrays
C Lengauer and J. Xue
LFCS report ECS-LFCS-90-116
- Proving correctness w.r.t. specifications with hidden
parts
Jorge Farrés-Casals
LFCS report ECS-LFCS-90-117
- An Extended Calculus of Constructions
Zhaohui Luo
LFCS report ECS-LFCS-90-118 (also published as CST-65-90)
- Relevance Logic and Concurrent Composition
Mads Dam
LFCS report ECS-LFCS-90-119 (also published as CST-66-90)
- Constructive lambda-Models
Andreas Knobel
LFCS report ECS-LFCS-90-120 (also published as CST-68-90)
- A Problem of Adequacy: conservativity of calculus of
constructions over higher-order logic
Zhaohui Luo
LFCS report ECS-LFCS-90-121
- pi-calculus Semantics of Object-Oriented Programming
Languages
David Walker
LFCS report ECS-LFCS-90-122
- Translating CTL* into the modal mu-calculus
Mads Dam
LFCS report ECS-LFCS-90-123
- The Uniform Proof-Theoretic Foundation of Linear Logic
Programming
James Harland and David Pym
LFCS report ECS-LFCS-90-124
- Proofs, Search and Computation in General Logic
David Pym
LFCS report ECS-LFCS-90-125 (also published as CST-69-90)
- Towards a Formal Framework for Evaluation of Operational
Semantics Specifications
Fabio da Silva
LFCS report ECS-LFCS-90-126
- A Timed Calculus of Communicating Systems
Liang Chen, Stuart Anderson and Faron Moller
LFCS report ECS-LFCS-90-127
- The Autosynchronisation of Leptothorax Acervorum (Fabricius)
described in WSCCS
Chris Tofts
LFCS report ECS-LFCS-90-128