Introducing concurrency in sequential Java via laws

Rafael Duarte, Alexandre Mota, Augusto Sampaio. Introducing concurrency in sequential Java via laws. Inf. Process. Lett., 111(3):129-134, 2011. [doi]

Abstract

Abstract is missing.