Concurrency and Communication in Transaction Logic.

Anthony J. Bonner Michael Kifer Concurrency and Communication in Transaction Logic. 142-156 1996 JICSLP db/conf/iclp/iclp96.html#BonnerK96