Journal of Logic and Algebraic Programming, Volume 48

Volume 48, Number 1-2, May-August 2001

• Jos C. M. Baeten, C. A. Middelburg: Real time process algebra with time-dependent conditions. 1-38 BibTeX
• Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko: Linearization in parallel pCRL. 39-70 BibTeX