Journal of Logic and Algebraic Programming, Volume 73

Volume 73, Numbers 1-2, September-October 2007

• Luca Aceto, Anna Ingólfsdóttir:
  Guest Editors' Foreword. 1
  Electronic Edition (link) BibTeX
• Abbas Edalat, Dirk Pattinson:
  Denotational semantics of hybrid automata. 3-21
  Electronic Edition (link) BibTeX
• Adrian Francalanza, Matthew Hennessy:
  A theory for observational fault tolerance. 22-50
  Electronic Edition (link) BibTeX
• Christof Löding, Carsten Lutz, Olivier Serre:
  Propositional dynamic logic with recursive programs. 51-69
  Electronic Edition (link) BibTeX
• Iain C. C. Phillips, Irek Ulidowski:
  Reversing algebraic process calculi. 70-96
  Electronic Edition (link) BibTeX
• Lutz Schröder:
  A finite model construction for coalgebraic modal logic. 97-110
  Electronic Edition (link) BibTeX
• Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani:
  A logic of reachable patterns in linked data-structures. 111-142
  Electronic Edition (link) BibTeX