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
  
• 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
  
• 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
  

Last update Thu May 23 18:48:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page