Algebraic specification of communication protocols | lit.salon