publication venue for Approximation schemes for minimum latency problems 1999 Transition systems, infinitary languages and the semantics of uniform concurrency 1985