Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote. A syntactic commutativity format for SOS. Inf. Process. Lett., 93(5):217-223, 2005. [doi]
@article{MousaviRG05:0,
title = {A syntactic commutativity format for SOS},
author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote},
year = {2005},
doi = {10.1016/j.ipl.2004.11.007},
url = {http://dx.doi.org/10.1016/j.ipl.2004.11.007},
tags = {SOS},
researchr = {https://researchr.org/publication/MousaviRG05%3A0},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {93},
number = {5},
pages = {217-223},
}