Journal of Logic and Algebraic Programming, Volume 77

Volume 77, Numbers 1-2, September - October 2008

• Luca Aceto, Anna Ingólfsdóttir:
  Guest Editors' Foreword.
  Electronic Edition (link) BibTeX
• Aske Wiid Brekling, Michael R. Hansen, Jan Madsen:
  Models and formal verification of multiprocessor system-on-chips. 1-19
  Electronic Edition (link) BibTeX
• Harald Fecher, Heiko Schmidt:
  Comparing disjunctive modal transition systems with an one-selecting variant. 20-39
  Electronic Edition (link) BibTeX
• Einar Broch Johnsen, Ingrid Chieh Yu:
  Backwards type analysis of asynchronous method calls. 40-59
  Electronic Edition (link) BibTeX
• Simon Kramer:
  Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography. 60-91
  Electronic Edition (link) BibTeX
• Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson:
  Pathway analysis for BioAmbients. 92-130
  Electronic Edition (link) BibTeX
• Ando Saabas, Tarmo Uustalu:
  Program and proof optimizations with type systems. 131-154
  Electronic Edition (link) BibTeX