Trace semantics via determinization - Jacobs, Bart (2015)