• People
• Events
• Research

LFCS reports by Author: W

Walker, David J

• Introduction to a Calculus of Communicating Systems
  D. Walker
  LFCS report ECS-LFCS-86-22
  
• Bisimulation equivalence and divergence in CCS
  D. Walker
  LFCS report ECS-LFCS-87-29
  
• Analysing mutual exclusion algorithms using CCS
  D Walker
  LFCS report ECS-LFCS-88-45
  
• Local Model Checking in the Modal Mu-Calculus
  C. Stirling and D. Walker
  LFCS report ECS-LFCS-89-78
  
• A Calculus of Mobile Processes Pt.1
  Milner, Parrow and Walker
  LFCS report ECS-LFCS-89-85
  
• A Calculus of Mobile Processes Pt.2
  Milner, Parrow and Walker
  LFCS report ECS-LFCS-89-86
  
• Automated Analysis of Mutual Exclusion Algorithms using CCS
  D J Walker
  LFCS report ECS-LFCS-89-91
  
• pi-calculus Semantics of Object-Oriented Programming Languages
  David Walker
  LFCS report ECS-LFCS-90-122
  
• Modal Logics for Mobile Processes
  R. Milner, J. Parrow and D. Walker
  LFCS report ECS-LFCS-91-136
  

Wallen, Lincoln A

• Investigations into proof-search in a system of first-order dependent function types
  D. Pym and L. Wallen
  LFCS report ECS-LFCS-90-111
  
• Proof Search in the lambda-Pi-calculus
  David Pym and L Wallen
  LFCS report ECS-LFCS-91-146
  
• Logic Programming via Proof-Valued Computations
  David J Pym and Lincoln A Wallen
  LFCS report ECS-LFCS-92-246
  

Walton, Christopher D.

• The C-LEMMA Memory Interface on the Cray T3D
  Christopher D. Walton and Bruce J. McAdam
  LFCS report ECS-LFCS-97-362
  
• Dynamic ML without Dynamic Types
  Stephen Gilmore, Dilsun Kirli and Christopher Walton
  LFCS report ECS-LFCS-97-378
  
• Abstract Machines for Memory Management
  Christopher Walton
  LFCS report ECS-LFCS-99-410
  
• Abstract Machines for Dynamic Computation
  Christopher D. Walton
  

Wang, Li-Guo

• Formal Derivation of a Class of Computers
  Li-Guo Wang
  LFCS report ECS-LFCS-95-329
  
• Formal Design of a Class of Computers
  Li-Guo Wang and Michael Mendler
  LFCS report ECS-LFCS-95-333
  
• Abstraction of Hardware Construction
  Li-Guo Wang and Michael Mendler
  LFCS report ECS-LFCS-95-334
  

Wilson, Andrew

• The Theory of Interacting Deductions and its Application to Operational Semantics
  Andrew Wilson
  LFCS report ECS-LFCS-96-351
  

Wormald, Nicholas

• Generating and counting Hamilton cycles in random regular graphs
  Alan Frieze, Mark Jerrum, Michael Molloy, Robert Robinson and Nicholas Wormald
  LFCS report ECS-LFCS-94-313