@misc{misc, title = {{Data refinement for true concurrency}}, url = {{}}, year = {{2013}}, month = {{5}}, author = {{Dongol B and Derrick J}}, note = {{Accessed on 2024/12/20}}}