Journal of Logic and Algebraic Programming, Volume 55

Volume 55, Number 1-2, March - April 2003

• C. A. Middelburg:
  An alternative formulation of operational conservativity with binding terms. 1-19
  Electronic Edition (link) BibTeX
• Jan Friso Groote, Jun Pang, Arno G. Wouters:
  Analysis of a distributed system for lifting trucks. 21-56
  Electronic Edition (link) BibTeX
• Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo:
  Algebraic theory of probabilistic and nondeterministic processes. 57-103
  Electronic Edition (link) BibTeX