Formal Aspects of Computing, Volume 13

Volume 13, Number 1, 2001

• Radu Grosu, Ketil Stølen:
  Stream-Based Specification of Mobile Systems. 1-31
  Electronic Edition (Springer LINK) BibTeX
• Steven Vickers, Gillian Hill:
  Presheaves as Configured Specifications. 32-49
  Electronic Edition (Springer LINK) BibTeX
• José J. Pazos Arias, Jorge García Duque:
  SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. 50-91
  Electronic Edition (Springer LINK) BibTeX

Volume 13, Number 2, 2002

• John Cooke, B. Tim Denvir:
  Editorial. 93
  Electronic Edition (Springer LINK) BibTeX
• Carsten Sühl:
  An Overview of the Integrated Formalism RT-Z. 94-110
  Electronic Edition (Springer LINK) BibTeX
• John Derrick, Eerke A. Boiten:
  Combining Component Specifications in Object-Z and CSP. 111-127
  Electronic Edition (Springer LINK) BibTeX
• Graeme Smith, Ian J. Hayes:
  An Introduction to Real-Time Object-Z. 128-141
  Electronic Edition (Springer LINK) BibTeX
• Brendan P. Mahony, Jin Song Dong:
  Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. 142-160
  Electronic Edition (Springer LINK) BibTeX
• Martin Große-Rhode:
  Compositional Comparison of Formal Software Specifications Using Transformation Systems. 161-186
  Electronic Edition (Springer LINK) BibTeX

Volume 13, Number 3-5, 2002

• David E. Rydeheard, Donald Sannella:
  A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. 187-193
  Electronic Edition (Springer LINK) BibTeX
• Eleanor Kerse:
  Ode to Rod Burstall. 194
  Electronic Edition (Springer LINK) BibTeX
• Peter J. Landin:
  Rod Burstall: A Personal Note. 195
  Electronic Edition (Springer LINK) BibTeX
• Robin J. Popplestone:
  POP, A Broad-Spectrum Programming Language, 1967-2002. 196-213
  Electronic Edition (Springer LINK) BibTeX
• David B. MacQueen:
  Should ML be Object-Oriented? 214-232
  Electronic Edition (Springer LINK) BibTeX
• Alberto Pettorossi, Maurizio Proietti:
  The List Introduction Strategy for the Derivation of Logic Programs. 233-251
  Electronic Edition (Springer LINK) BibTeX
• Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
  Architectural Specifications in CASL. 252-273
  Electronic Edition (Springer LINK) BibTeX
• Joseph A. Goguen, Grigore Rosu:
  Institution Morphisms. 274-307
  Electronic Edition (Springer LINK) BibTeX
• Edmund Robinson:
  Variations on Algebra: Monadicity and Generalisations of Equational Theories. 308-326
  Electronic Edition (Springer LINK) BibTeX
• James J. Leifer, Robin Milner:
  Shallow Linear Action Graphs and their Embeddings. 327-340
  Electronic Edition (Springer LINK) BibTeX
• Murdoch Gabbay, Andrew M. Pitts:
  A New Approach to Abstract Syntax with Variable Binding. 341-363
  Electronic Edition (Springer LINK) BibTeX
• Gordon D. Plotkin:
  Three Inadequate Models. 364-385
  Electronic Edition (Springer LINK) BibTeX
• Robert Pollack:
  Dependently Typed Records in Type Theory. 386-402
  Electronic Edition (Springer LINK) BibTeX
• Jon Whittle, Alan Bundy, Richard J. Boulton:
  Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. 403-421
  Electronic Edition (Springer LINK) BibTeX
• Henk Barendregt:
  The Ancient Theory of Mind. 422-429
  Electronic Edition (Springer LINK) BibTeX

Volume 13, Number 6, 2002

• Florentin Ipate, Mike Holcombe:
  Testing Conditions for Communicating Stream X-machine Systems. 431-446
  Electronic Edition (Springer LINK) BibTeX
• Eric Badouel, Benoît Caillaud, Philippe Darondeau:
  Distributing Finite Automata Through Petri Net Synthesis. 447-470
  Electronic Edition (Springer LINK) BibTeX
• Stein Krogdahl, Olav Lysne:
  On Verification of Parallel Message-Passing Processes. 471-492
  Electronic Edition (Springer LINK) BibTeX