Journal of Logic and Algebraic Programming, Volume 75

Volume 75, Number 1, February-March 2008

• Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon:
  Guest Editors' Foreword. 1-2
  
• Bruno Blanchet, Martín Abadi, Cédric Fournet:
  Automated verification of selected equivalences for security protocols. 3-51
  
• Nadia Busi, Gianluigi Zavattaro:
  A process algebraic view of shared dataspace coordination. 52-85
  
• Sergio Maffeis, Philippa Gardner:
  Behavioural equivalences for dynamic Web data. 86-138
  
• Iain Phillips:
  CCS with priority guards. 139-165
  

Volume 75, Number 2, April 2008

• Davide Prandi, Corrado Priami, Paola Quaglia:
  Communicating by compatibility. 167-181
  
• Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron:
  Tree automata with equality constraints modulo equational theories. 182-208
  
• Richard Banach, Czeslaw Jeske, Michael Poppleton:
  Composition mechanisms for retrenchment. 209-229