Journal of Logic and Algebraic Programming, Volume 72

Volume 72, Number 1, May-June 2007

• 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

• 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
  

Last update Tue Feb 14 04:20:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page