XPi: a typed process calculus for XML messaging
From MaRDI portal
Publication:924673
DOI10.1016/J.SCICO.2008.02.001zbMath1146.68050OpenAlexW1964026148MaRDI QIDQ924673
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
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
This page was built for publication: XPi: a typed process calculus for XML messaging