related documents Transition systems, infinitary languages and the semantics of uniform concurrency Conferences