%0 Journal Article %1 journals/jlp/DinO14 %A Din, Crystal Chang %A Owe, Olaf %D 2014 %J J. Log. Algebraic Methods Program. %K dblp %N 5-6 %P 360-383 %T A sound and complete reasoning system for asynchronous communication with shared futures. %U http://dblp.uni-trier.de/db/journals/jlp/jlp83.html#DinO14 %V 83

@article{journals/jlp/DinO14, added-at = {2021-02-16T00:00:00.000+0100}, author = {Din, Crystal Chang and Owe, Olaf}, biburl = {https://www.bibsonomy.org/bibtex/2f7f0b594497357f28b3a939a62dc6178/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2014.03.003}, interhash = {790b80c56a9d28f81d2b59c5171f605f}, intrahash = {f7f0b594497357f28b3a939a62dc6178}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = {5-6}, pages = {360-383}, timestamp = {2024-04-08T10:50:21.000+0200}, title = {A sound and complete reasoning system for asynchronous communication with shared futures.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp83.html#DinO14}, volume = 83, year = 2014 }