Gerald Lüttgen

• A faster-than relation for asynchronous processes
• A practical approach to implementing real-time semantics