Formal Aspects of Computing, Volume 1

Volume 1, Number 1, 1989

• Martyn Thomas:
  Development Methods for Trusted Computer Systems. 5-18
  
• Roland Carl Backhouse, Paul Chisholm:
  Do-It-Yourself Type Theory. 19-84
  
• Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
  The RAISE Language, Method and Tools. 85-114
  
• C. A. Middelburg:
  VVSL: A Language for Structured VDM Specifications. 115-135
  

Volume 1, Number 2, 1989

• C. T. Burton, S. J. Cook, S. Gikas, J. R. Rowson, S. T. Sommerville:
  Specifying the Apple Macintosh Toolbox Event Manager. 147-171
  
• Martin C. Henson:
  Program Development in the Constructive Set Theory TK. 173-192
  
• Matthew M. Huntbach:
  Meta-interpreters and Partial Evaluation in Parlog. 193-211
  

Volume 1, Number 3, 1989

• Marta Z. Kwiatkowska:
  Event Fairness and Non-interleaving Concurrency. 213-228
  
• Jifeng He:
  Process Simulation and Refinement. 229-241
  
• Sören Holmström:
  A Refinement Calculus for Specifications in Hennessy-Milner Logic with Recursion. 242-272
  
• D. J. Walker:
  Automated Analysis of Mutual Exclusion Algorithms using CCS. 273-292
  

Volume 1, Number 4, 1989

• Peter Dybjer, Herbert P. Sander:
  A Functional Programming Approach to the Specification and Verification of Concurrent Systems. 303-319
  
• Tobias Nipkow:
  Term Rewriting and Beyond - Theorem Proving in Isabelle. 320-338
  
• Simon J. Thompson:
  A Logic for Miranda. 339-365
  
• Pierre America:
  Issues in the Design of a Parallel Object-Oriented Language. 366-411
  

Last update Fri May 24 20:19:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page