@Inproceedings{EPTCS115.2, author = {Dongol, Brijesh and Derrick, John}, year = {2013}, title = {Data refinement for true concurrency}, editor = {Derrick, John and Boiten, Eerke and Reeves, Steve}, booktitle = {{\rm Proceedings 16th International} Refinement Workshop, {\rm Turku, Finland, 11th June 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {115}, publisher = {Open Publishing Association}, pages = {15-35}, doi = {10.4204/EPTCS.115.2}, }