Evangelos Kranakis
Centre for Mathematics and Computer Science, Netherlands
A thread calculus with molecular dynamics
Information and Computation