Concur '95 concurrency theory : 6th international conference, Philadelphia, Pa., U.S.A., August 21-24, 1995 : proceedings - Lee, Insup; Smolka, Scott A. (Lecture notes in computer science, 1995)