Concurrent implementation of asynchronous transition systems (Inst. für Informatik, 1998)