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