rnd

• Pi Calculus \ BiGraphs
• http://www.biosimilarity.com/mobile_process_calculi.htm