XPi: a typed process calculus for XML messaging

DOI10.1016/J.SCICO.2008.02.001zbMath1146.68050OpenAlexW1964026148MaRDI QIDQ924673

Michele Boreale, Lucia Acciai

Publication date: 19 May 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.02.001

zbMATH Keywords

type systemspi-calculuspattern-matchingXML-messaging

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

PiDuce- A project for experimenting web services technologies ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Semantic subtyping for the pi-calculus ⋮ Behavioural equivalences for dynamic web data ⋮ CaSPiS: a calculus of sessions, pipelines and services ⋮ Comparing communication primitives via their relative expressive power

Uses Software

• PiDuce
• XPi
• CDuce
• XDuce

This page was built for publication: XPi: a typed process calculus for XML messaging