Yoshinobu Kawabe, Ken Mano. Verifying Trace Equivalence of a Shared-Memory-Style Communication System. IEICE Transactions, 88-A(4):915-922, 2005. [doi]
@article{KawabeM05, title = {Verifying Trace Equivalence of a Shared-Memory-Style Communication System}, author = {Yoshinobu Kawabe and Ken Mano}, year = {2005}, doi = {10.1093/ietfec/e88-a.4.915}, url = {http://dx.doi.org/10.1093/ietfec/e88-a.4.915}, researchr = {https://researchr.org/publication/KawabeM05}, cites = {0}, citedby = {0}, journal = {IEICE Transactions}, volume = {88-A}, number = {4}, pages = {915-922}, }