International Conference on Concurrency Theory (2nd 1991 Amsterdam, Netherlands)