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]
No references recorded for this publication.
No citations of this publication recorded.