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
- 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