Volume 72, Number 1, May-June 2007

Algebraic Process Calculi: The First Twenty Five Years and Beyond. II

• 
  Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. 1-2
• 
  Marco Bernardo: Non-bisimulation-based Markovian behavioral equivalences. 3-49
• 
  Tommaso Bolognesi: Behavioral complexity indicators for process algebra: The NKS approach. 50-77
• 
  Maria Grazia Buscemi, Ugo Montanari: A compositional coalgebraic model of fusion calculus. 78-97
• 
  Insup Lee, Anna Philippou, Oleg Sokolsky: Resources in process algebra. 98-122

Volume 72, Number 2, July-August 2007

Programming Language Interference and Dependence

• 
  David Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. 123
• 
  Ana Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. 124-156
• 
  Michael R. Laurence: Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas. 157-172
• 
  Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky: Tempus fugit: How to plug it. 173-190
• 
  Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A non-standard semantics for program slicing and dependence analysis. 191-206
• 
  Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and bisimulation. 207-238