Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog, Jeffery I. Zucker

Browse the full STOC paper archive.