XPi
From MaRDI portal
Cited in
(13)- XPi: a typed process calculus for XML messaging
- Behavioural equivalences for dynamic web data
- TulaFale
- PiDuce
- SafeDpi
- Facile
- MetaOCaml
- CDuce
- XDuce
- 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
