@article{article, title = {{Data refinement for true concurrency}}, publisher = {{Open Publishing Association}}, url = {{}}, year = {{2013}}, month = {{5}}, author = {{Dongol B and Derrick J}}, doi = {{10.4204/eptcs.115.2}}, volume = {{115}}, journal = {{Electronic Proceedings in Theoretical Computer Science}}, pages = {{15-35}}, note = {{Accessed on 2024/10/23}}}