A sound and complete reasoning system for asynchronous communication with shared futures

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]

Abstract

Abstract is missing.