“...International Conference on Concurrency Theory Aalborg, Dánsko)...”