North American Process Algebra Workshop

NAPAW 1992: Stony Brook, NY, USA