Transition systems, infinitary languages and the semantics of uniform concurrency

Abstract
No abstract available