From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation

Publication
Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017.