Applications of process algebra | lit.salon