Journal of Logic and Algebraic Programming
, Volume 71
Volume 71, Number 1, March 2007
Jun Pang
,
Wan Fokkink
,
Rutger F. H. Hofman
,
Ronald Veldema
:
Model checking a cache coherence protocol of a Java DSM implementation.
1-43
Wei Jiang
,
Yuan Wang
,
Jeffery I. Zucker
:
Universality and semicomputability for nondeterministic programming languages over abstract algebras.
44-78
Volume 71, Number 2, April 2007
Jürgen Giesl
,
Armin Kühnemann
,
Janis Voigtländer
:
Deaccumulation techniques for improving provability.
79-113
Daniel Hirschkoff
,
Damien Pous
,
Davide Sangiorgi
:
An efficient abstract machine for Safe Ambients.
114-149
Last update Fri May 24 20:35:49 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page