Formal Aspects of Computing, Volume 1

Volume 1, Number 1, 1989

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

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 BibTeX
• Martin C. Henson: Program Development in the Constructive Set Theory TK. 173-192 BibTeX
• Matthew M. Huntbach: Meta-interpreters and Partial Evaluation in Parlog. 193-211 BibTeX

Volume 1, Number 3, 1989

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

Volume 1, Number 4, 1989

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