Title: A faster-than relation for asynchronous processes