The $-Calculus Process Algebra for Problem Solving and its Support for Bioinformatics. - Lara Atallah; Eugene Eberbach (IICAI, 2005)