Formal Aspects of Computing, Volume 2

Volume 2, Number 1, 1990

• José Nuno Oliveira: A Reification Calculus for Model-Oriented Software Specification. 1-23
• José Carmo, Amílcar Sernadas: Branching versus Linear Logics Yet Again. 24-59
• Wim H. Hesselink: Command Algebras, Recursion and Program Transformation. 60-104 , further work

Volume 2, Number 2, April-June 1990

• Helmuth Partsch, Frank A. Stomp: A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. 109-122
• Eike Best, Jörg Desel: Partial Order Behaviour and Structure of Petri Nets. 123-138
• Wim H. Hesselink: Axioms and Models of Linear Logic. 139-166
• Jayadev Misra: Equational Reasoning About Nondeterministic Processes. 167-195

Volume 2, Number 3, 1990

• Miki Hermann: Chain Properties of Rule Closures. 207-225
• Xudong He, John A. N. Lee: Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. 226-246
• Ralph-Johan Back, Joakim von Wright: Refinement Concepts Formalised in Higher Order Logic. 247-272
• Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. 273-293

Volume 2, Number 4, 1990

• Huimin Lin, Man-Chi Pong: Modelling Multiple Inheritance with Colimits. 301-311
• Alain Ah-kee: Proof Obligations for Blocks and Procedures. 312-330
• Mike Stannett: X-Machines and the Halting Problem: Building a Super-Turing Machine. 331-341
• Nandit Soparkar, Abraham Silberschatz: On the Interconnection Constants of Hopfield Nets. 342-358
• N. P. Chapman: Defining, Analysing and Implementing Communication Protocols Using Attribute Grammars. 359-392