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

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

Programming Language Interference and Dependence

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