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
  Electronic Edition (link) BibTeX
• Bruno Blanchet, Martín Abadi, Cédric Fournet:
  Automated verification of selected equivalences for security protocols. 3-51
  Electronic Edition (link) BibTeX
• Nadia Busi, Gianluigi Zavattaro:
  A process algebraic view of shared dataspace coordination. 52-85
  Electronic Edition (link) BibTeX
• Sergio Maffeis, Philippa Gardner:
  Behavioural equivalences for dynamic Web data. 86-138
  Electronic Edition (link) BibTeX
• Iain Phillips:
  CCS with priority guards. 139-165
  Electronic Edition (link) BibTeX

Volume 75, Number 2, April 2008

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