Volume 72,
Number 1,
May-June 2007
Algebraic Process Calculi:
The First Twenty Five Years and Beyond. II
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
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
Copyright © Sun May 17 00:10:10 2009
by Michael Ley (ley@uni-trier.de)