Formal Aspects of Computing, Volume 2

Volume 2, Number 1, 1990

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

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

Miki Hermann: Chain Properties of Rule Closures. 207-225 BibTeX
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 BibTeX
Ralph-Johan Back, Joakim von Wright: Refinement Concepts Formalised in Higher Order Logic. 247-272 BibTeX
Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. 273-293 BibTeX

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