Formal Aspects of Computing
, Volume 5
Volume 5, Number 1, 1993
Rance Cleaveland
,
Matthew Hennessy
: Testing Equivalence as a Bisimulation Equivalence. 1-20
P. J. A. Lentfert
,
S. Doaitse Swierstra
: Distributed Maximum Maintenance on Hierarchically Divided Graphs. 21-60
Richard S. Bird
,
Oege de Moor
: List Partitions. 61-78
Thierry Massart
,
Raymond R. Devillers
: Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. 79-88
Volume 5, Number 2, 1993
A. Bucci
,
Paola Inverardi
,
Simone Martini
: An `Executable' Impredicative Semantics for the Ada Configuration. 91-120
Debora Weber-Wulff
: Proof Movie - A Proof with the Boyer-Moore Prover. 121-151
Alan Williams
: The Applicability of Discrete Performance Estimation Methods to VLSI Design. 152-176
Volume 5, Number 3, 1993
Andreas V. Hense
: Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers. 181-207
Olaf Owe
: Partial Logics Reconsidered: A Conservative Approach. 208-223
,
further work
Juan Quemada
,
David de Frutos-Escrig
,
Arturo Azcorra
: TIC: A TImed Calculus. 224-252
Carlos Miguel
,
Angel Fernández
,
Leon Vidaller
: LOTOS Extended with Probablistic Behaviours. 253-281
Volume 5, Number 4, 1993
Bill Stoddart
,
Peter J. Knaggs
: Type Interference in Stack Based Languages. 289-298
Paul Mukherjee
,
Victoria Stavridou
: The Formal Specification of Safety Requirements for Storing Explosives. 299-336
,
corrections
Esther Dennis-Jones
,
David E. Rydeheard
: Categorical ML - Category-Theoretic Modular Programming. 337-366
Paul H. B. Gardiner
,
Carroll Morgan
: A Single Complete Rule for Data Refinement. 367-382
Volume 5, Number 5, 1993
Matthias Weber
: Definition and Basic Properties of the Deva Meta-Calculus. 391-431
Matthew Hennessy
,
Anna Ingólfsdóttir
: Communicating Processes with Value-passing and Assignments. 432-466
Gordon J. Brebner
: A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System. 467-478
Volume 5, Number 6, 1994
Jos C. M. Baeten
,
Jan A. Bergstra
: On Sequential Compoisiton, Action Prefixes and Process Prefixes. 250-268
Jim Davies
,
Steve Schneider
: Recursion Induction for Real-Time Processes. 530-553
Wim H. Hesselink
: Proof Rules for Recursive Procedures. 554-570
Copyright ©
Tue Dec 1 16:31:37 2009 by
Michael Ley
(
ley@uni-trier.de
)