Journal of Logic and Algebraic Programming, Volume 78

Volume 78, Number 1, November - December 2008

• Hai-Feng Guo, Bharat Jayaraman:
  Logic programming with solution preferences. 1-21
  
• Xiaoxiao Yang, Zhenhua Duan:
  Operational semantics of Framed Tempura. 22-51
  
• Jos C. M. Baeten, Ana Sokolova:
  Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. 52
  

Volume 78, Number 2, January 2009

• Manfred Broy, Gheorghe Stefanescu:
  Guest Editors' Foreword: Selected papers on "Streams and Algebra". 53
  
• Jan Jürjens:
  A domain-specific language for cryptographic protocols based on streams. 54-73
  
• Peter Höfner, Bernhard Möller:
  An algebra of hybrid systems. 74-97
  
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
  Testing from a stochastic timed system with a fault model. 98-115