Amitai Regev;Ehud Y. Shapiro
-;-
Communicating and mobile systems: the &pgr;-calculus
Computational biology: a programming perspective
Formal modeling