On logical and concurrent equivalences Bradfield, Julian Fröschle, Sibylle B. 2002 - TUHH Open Research - frei zugänglich