XPi

swMATH9430MaRDI QIDQ21413FDOQ21413

Author name not available (Why is that?)

Cited In (6)

• XPi: a typed process calculus for XML messaging
• Behavioural equivalences for dynamic web data
• Replacement freeness: a criterion for separating process calculi
• PiDuce- A project for experimenting web services technologies
• Semantic subtyping for the pi-calculus
• Comparing communication primitives via their relative expressive power

This page was built for software: XPi