@book{5371, author = {International Conference on Concurrency Theory and Jonsson, Bengt, }, title = {CONCUR - 1994 : }, publisher = {Springer, }, year = {1994.}, series = {Lecture notes in computer science ; }, address = {Berlin : } }