Napaw 92 First North American Process Algebra Workshop Stony 1992 Proceedings First North American Process Algebra Workshop Stony Usa 28 August 1992 Workshops Computing