Christof Fetzer;Ulrich Schmid
Technische Universität Dresden, Dresden, Germany;Technische Universität Wien, Vienna, Austria
The Asynchronous Bounded-Cycle model
Theoretical Computer Science