Sign in

Failure-divergence semantics and refinement of long running transactions.

Zhenbang ChenZhiming LiuJi Wang
Published in: Theor. Comput. Sci. (2012)
Keyphrases