Journal of Logic and Algebraic Programming
Collection
Collection
- ISSN: 1567-8326
Published by Elsevier B.V.
-
A rewriting approach to binary decision diagrams Article
Journal of Logic and Algebraic Programming, 49(1-2), 61-86.January 2001
-
Linearization in parallel pCRL Article
Journal of Logic and Algebraic Programming, 48(2), 39-70.J.F. Groote (Jan Friso), A. Ponse (Alban) and Y.S. Usenko (Yaroslav)
May 2001
-
Focus points and convergent process operators: a proof strategy for protocol verification Article
Journal of Logic and Algebraic Programming, 49(1-2), 31-60.December 2001
-
Index : Journal of logic programming 2002 Article
Journal of Logic and Algebraic Programming, 50(1-2), 1-3.January 2002
-
Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article
Journal of Logic and Algebraic Programming, 65(2), 51-104.A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al
January 2005 -
Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article
Journal of Logic and Algebraic Programming, 1-3.January 2006 -
Duplication of Constants in Process Algebra Article
Journal of Logic and Algebraic Programming, 70(2), 151-171.January 2007 -
Model checking a cache coherence protocol for a Java DSM implementation Article
Journal of Logic and Algebraic Programming, 71(1), 1-43.J. Pang, W.J. Fokkink (Wan), R. Hofman (Rutger) and R. Veldema
March 2007