Process algebra | lit.salon