Special issue on process algebra (Elsevier, 2001)
In: Information processing letters ; 80 (2001),1