@techreport{BArscs12, <br>AUTHOR = {Baumann, Christoph},<br>TITLE = {Reordering and Simulation in Concurrent Systems},<br>YEAR = {2012},<br>URL = {http:///publikationen/BArscs12.pdf}, <br>}