A thread calculus with molecular dynamics

Jan A. Bergstra, C. A. Middelburg. A thread calculus with molecular dynamics. CoRR, abs/0711.0840, 2007. [doi]

Abstract

Abstract is missing.