Lucia Acciai Michele Boreale XPi: A typed process calculus for XML messaging. 110-143 2008 71 Sci. Comput. Program. 2 http://dx.doi.org/10.1016/j.scico.2008.02.001 db/journals/scp/scp71.html#AcciaiB08