NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 /

This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first in a proposed series of workshops, intended to increase awareness of process algebras in the United States and Canada, and to promote their use and developm...

Full description