swMATH9430MaRDI QIDQ21413FDOQ21413
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0167642308000178
Cited In (11)
- XPi: a typed process calculus for XML messaging
- Behavioural equivalences for dynamic web data
- TulaFale
- 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
