North American Process Algebra Workshop (1st 1992 Stony Brook, N.Y.)