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