Alban Ponse;Yaroslav S. Usenko
-;-
A thread calculus with molecular dynamics
Information and Computation