Proceedings of the First North American Process Algebra Workshop