Journal of Logic and Algebraic Programming, Volume 72

Volume 72, Number 1, May-June 2007

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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/AcetoBFG07a
- ask others
Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. 1-2
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Bernardo07
- ask others
Marco Bernardo: Non-bisimulation-based Markovian behavioral equivalences. 3-49
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Bolognesi07
- ask others
Tommaso Bolognesi: Behavioral complexity indicators for process algebra: The NKS approach. 50-77
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/BuscemiM07
- ask others
Maria Grazia Buscemi, Ugo Montanari: A compositional coalgebraic model of fusion calculus. 78-97
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/LeePS07
- ask others
Insup Lee, Anna Philippou, Oleg Sokolsky: Resources in process algebra. 98-122

Volume 72, Number 2, July-August 2007

Programming Language Interference and Dependence

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/ClarkDG07
- ask others
David Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. 123
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/MatosBC07
- ask others
Ana Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. 124-156
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Laurence07
- ask others
Michael R. Laurence: Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas. 157-172
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/PierroHSW07
- ask others
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky: Tempus fugit: How to plug it. 173-190
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/DanicicHHO07
- ask others
Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A non-standard semantics for program slicing and dependence analysis. 191-206
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/YoshidaHB07
- ask others
Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and bisimulation. 207-238