Journal: Formal Asp. Comput.

Volume 1, Issue 4

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

Volume 1, Issue 3

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

Volume 1, Issue 2

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

Volume 1, Issue 1

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