Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!mucs!ipse2pt5!cliff From: cliff@ipse2pt5.uucp (Cliff Jones) Newsgroups: comp.specification Subject: Re: Journal: Formal Aspects of Computing (ToC) Message-ID: <1110@m1.cs.man.ac.uk> Date: 22 Mar 90 15:37:01 GMT References: <1094@m1.cs.man.ac.uk> Sender: news@cs.man.ac.uk Reply-To: cliff@ipse2pt5.UUCP (Cliff Jones) Organization: University of Manchester, UK Lines: 96 I have been asked by e-mail for the Table of Contents of the first Volume of this journal: CONTENTS Volume 1, Number 1, January-March 1989 Editorial Cliff Jones 1 Development Methods for Trusted Computer Systems Martyn Thomas 5 Do-It-Yourself Type Theory Roland Backhouse, Paul Chisholm, Grant Malcolm 19 and Erik Saaman The RAISE Language, Methods and Tools Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner 85 and Chris George VVSL: A Language for Structured VDM Specifications C A Middelburg 115 Book Reviews CONTENTS Volume 1, Number 2, April-June 1989 Editorial John Cooke 145 Specifying the Apple Macintosh Toolbox Event Manager C T Burton, S J Cook, S Gikas, J R Rowson 147 and S T Sommerville Program Development in the Constructive Set Theory TK 173 Martin C Henson Meta-interpreters and Partial Evaluation in Parlog 193 Mathew Huntbach CONTENTS Volume 1, Number 3, July-September 1989 Event Fairness and Non-Interleaving Concurrency Marta Z Kwiatkowska 213 Process Simulation and Refinement He Jifeng 229 A Refinement Calculus for Specifications in Hennessy-Milner Logic Soren Holmstrom 242 Automated Analysis of Mutual Exclusion Algorithms using CCS D J Walker 273 Book Reviews 293 CONTENTS Volume 1, Number 4, October-December 1989 A Functional Programming Approach to the Specification and Verification of Concurrent Systems Peter Dybjer and Herbert P Sander 303 Term Rewriting and Beyond - Theorem Proving in ISabelle Tobias Nipkow 320 A Logic for Miranda Simon Thompson 339 Issues in the Design of a Parallel Object-Oriented Language Pierre America 366 Book Reviews 412 Author Index 417