Formal Aspects of Computing, Volume 8

Volume 8, Number 1, 1996

• Paulo S. C. Alencar, Carlos José Pereira de Lucena:
  A Logical Framework for Evolving Software Systems. 3-46
  
• Peter Gorm Larsen, Bo Stig Hansen:
  Semantics of Under-determined Expressions. 47-66
  
• Karen Seidel, Paul H. B. Gardiner:
  Structured Development of a Virtual Shared Memory System. 67-85
  
• Martin Simons, Matthias Weber:
  An Approach to Literate and Structured Formal Developments. 86-107
  
• David Billington, R. Geoff Dromey:
  The Co-invariant Generator: An Aid in Deriving Loop Bodies. 108-126
  

Volume 8, Number 2, 1996

• Ketil Stølen, Frank Dederichs, Rainer Weber:
  Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. 127-161
  
• Padmanabhan Krishnan:
  Architectural CCS. 162-187
  
• Jos C. M. Baeten, Jan A. Bergstra:
  Discrete Time Process Algebra. 188-208
  
• Geoffrey Brown, Wayne Luk, John O'Leary:
  Retargeting a Hardware Compiler Using Protokol Converters. 209-237
  
• Walter Hussak:
  On CCS with Parametric Relabelling. 238-244
  

Volume 8, Number 3, 1996

• Giuseppe Castagna:
  Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. 247-293
  
• Ping Zhou, Jozef Hooman, Ruurd Kuiper:
  Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. 294-323
  
• Ralph-Johan Back, Kaisa Sere:
  Superposition Refinement of Reactive Systems. 324-346
  
• Roger Duke, Cecily Bailes, Graeme Smith:
  A Blocking Model for Reactive Objects. 347-368
  
• J. Michael Spivey:
  The Consistency Theorem for Free Type Definitions in Z. 369-375
  

Volume 8, Number 4, 1996

• Matthew Hennessy, Huimin Lin:
  Proof Systems for Message-Passing Process Algebras. 379-407
  
• David Scholefield:
  Real-Time Refinement in Manna and Pnueli's Temporal Logic. 408-427
  
• Christoph Beierle, Egon Börger:
  Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. 428-462
  
• Stefan Rönn:
  Invariants and Closures in the Theory of Rewrite Systems. 463-478
  
• A. P. Martin, Paul H. B. Gardiner, Jim Woodcock:
  A Tactic Calculus-Abridged Version. 479-489
  
• Mark Harman, Dan Simpson, Sebastian Danicic:
  Slicing Programs in the Presence of Errors. 490-497
  

Volume 8, Number 5, 1996

• Nancy A. Lynch, Frits W. Vaandrager:
  Action Transducers and Timed Automata. 499-538
  
• Christoph Beierle, Egon Börger:
  Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. 539-564
  
• J. Michael Spivey:
  Richer Types for Z. 565-584
  
• Scott A. Smolka, Bernhard Steffen:
  Priority as Extremal Probability. 585-606
  
• Susanne Graf, Bernhard Steffen, Gerald Lüttgen:
  Compositional Minimisation of Finite State Systems Using Interface Specifications. 607-616
  

Volume 8, Number 6, 1996

• Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders:
  Refinement-Oriented Probability for CSP. 617-647
  
• Alban Ponse:
  Computable Processes and Bisimulation Equivalence. 648-678
  
• Jeffery I. Zucker:
  Transformations of Normal and Inverted Function Tables. 679-705
  
• Ruth Breu, Elena Zucca:
  An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). 706-715
  
• Murali Sitaraman:
  Impact of Performance Considerations on Formal Specification Design. 716-736
  

Last update Tue Feb 14 04:17:52 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page