“...International Conference on Concurrency Theory Nice, Francie)...”