A logical process calculus | lit.salon