CONCUR '94 : Concurrency Theory - Jonsson, Bengt; Parrow, Joachim (Lecture notes in computer science ;, 1994)