rnd
  * [[Pi Calculus]] \    [[BiGraphs]]
  * http://www.biosimilarity.com/mobile_process_calculi.htm