XPi
From MaRDI portal
Software:21413
No author found.
Related Items (6)
PiDuce- A project for experimenting web services technologies ⋮ Replacement freeness: a criterion for separating process calculi ⋮ XPi: a typed process calculus for XML messaging ⋮ Semantic subtyping for the pi-calculus ⋮ Behavioural equivalences for dynamic web data ⋮ Comparing communication primitives via their relative expressive power
This page was built for software: XPi
