Formal Aspects of Computing, Volume 5

Volume 5, Number 1, 1993

• Rance Cleaveland, Matthew Hennessy: Testing Equivalence as a Bisimulation Equivalence. 1-20 BibTeX
• P. J. A. Lentfert, S. Doaitse Swierstra: Distributed Maximum Maintenance on Hierarchically Divided Graphs. 21-60 BibTeX
• Richard S. Bird, Oege de Moor: List Partitions. 61-78 BibTeX
• Thierry Massart, Raymond R. Devillers: Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. 79-88 BibTeX

Volume 5, Number 2, 1993

• A. Bucci, Paola Inverardi, Simone Martini: An `Executable' Impredicative Semantics for the Ada Configuration. 91-120 BibTeX
• Debora Weber-Wulff: Proof Movie - A Proof with the Boyer-Moore Prover. 121-151 BibTeX
• Alan Williams: The Applicability of Discrete Performance Estimation Methods to VLSI Design. 152-176 BibTeX

Volume 5, Number 3, 1993

• Andreas V. Hense: Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers. 181-207 BibTeX
• Olaf Owe: Partial Logics Reconsidered: A Conservative Approach. 208-223 BibTeX , further work
• Juan Quemada, David de Frutos-Escrig, Arturo Azcorra: TIC: A TImed Calculus. 224-252 BibTeX
• Carlos Miguel, Angel Fernández, Leon Vidaller: LOTOS Extended with Probablistic Behaviours. 253-281 BibTeX

Volume 5, Number 4, 1993

• Bill Stoddart, Peter J. Knaggs: Type Interference in Stack Based Languages. 289-298 BibTeX
• Paul Mukherjee, Victoria Stavridou: The Formal Specification of Safety Requirements for Storing Explosives. 299-336 BibTeX , corrections
• Esther Dennis-Jones, David E. Rydeheard: Categorical ML - Category-Theoretic Modular Programming. 337-366 BibTeX
• Paul H. B. Gardiner, Carroll Morgan: A Single Complete Rule for Data Refinement. 367-382 BibTeX

Volume 5, Number 5, 1993

• Matthias Weber: Definition and Basic Properties of the Deva Meta-Calculus. 391-431 BibTeX
• Matthew Hennessy, Anna Ingólfsdóttir: Communicating Processes with Value-passing and Assignments. 432-466 BibTeX
• Gordon J. Brebner: A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System. 467-478 BibTeX

Volume 5, Number 6, 1994

• Jos C. M. Baeten, Jan A. Bergstra: On Sequential Compoisiton, Action Prefixes and Process Prefixes. 250-268 BibTeX
• Jim Davies, Steve Schneider: Recursion Induction for Real-Time Processes. 530-553 BibTeX
• Wim H. Hesselink: Proof Rules for Recursive Procedures. 554-570 BibTeX