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