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
Electronic Edition
(link)
BibTeX
Wei Jiang
,
Yuan Wang
,
Jeffery I. Zucker
:
Universality and semicomputability for nondeterministic programming languages over abstract algebras.
44-78
Electronic Edition
(link)
BibTeX
Volume 71, Number 2, April 2007
Jürgen Giesl
,
Armin Kühnemann
,
Janis Voigtländer
:
Deaccumulation techniques for improving provability.
79-113
Electronic Edition
(link)
BibTeX
Daniel Hirschkoff
,
Damien Pous
,
Davide Sangiorgi
:
An efficient abstract machine for Safe Ambients.
114-149
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:10:10 2009 by
Michael Ley
(
ley@uni-trier.de
)