XPi
From MaRDI portal
Cited in
(13)- Comparing communication primitives via their relative expressive power
- TulaFale
- PiDuce
- SafeDpi
- Facile
- MetaOCaml
- Replacement freeness: a criterion for separating process calculi
- CDuce
- XDuce
- Behavioural equivalences for dynamic web data
- PiDuce- A project for experimenting web services technologies
- XPi: a typed process calculus for XML messaging
- Semantic subtyping for the pi-calculus
This page was built for software: XPi
