Crystal Chang Din, Olaf Owe. A sound and complete reasoning system for asynchronous communication with shared futures. Journal of Logic and Algebraic Programming, 83(5-6):360-383, 2014. [doi]
@article{DinO14, title = {A sound and complete reasoning system for asynchronous communication with shared futures}, author = {Crystal Chang Din and Olaf Owe}, year = {2014}, doi = {10.1016/j.jlamp.2014.03.003}, url = {http://dx.doi.org/10.1016/j.jlamp.2014.03.003}, researchr = {https://researchr.org/publication/DinO14}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {83}, number = {5-6}, pages = {360-383}, }