XPi: a typed process calculus for XML messaging Export

@misc{citeulike:1319887, abstract = {We present XPi, a core calculus for XML messaging. XPi features asynchronous communications, pattern matching, name and code mobility, integration of static and dynamic typing. Flexibility and expressiveness of this calculus is illustrated by a few examples, some concerning description and discovery of web services. In XPi, a type system disciplines XML message handling at the level of channels, patterns and processes.}, author = {Acciai, L. and Boreale, M.}, citeulike-article-id = {1319887}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5849}, keywords = {data}, posted-at = {2007-05-22 18:40:33}, priority = {2}, title = {XPi: a typed process calculus for XML messaging}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5849}, year = {2004} }

TY - GEN ID - citeulike:1319887 L3 - citeulike-article-id:1319887 N2 - We present XPi, a core calculus for XML messaging. XPi features asynchronous communications, pattern matching, name and code mobility, integration of static and dynamic typing. Flexibility and expressiveness of this calculus is illustrated by a few examples, some concerning description and discovery of web services. In XPi, a type system disciplines XML message handling at the level of channels, patterns and processes. TI - XPi: a typed process calculus for XML messaging KW - data AU - Acciai, L AU - Boreale, M PY - 2004/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5849 ER -