Pages that link to "Item:Q924673"
From MaRDI portal
The following pages link to XPi: a typed process calculus for XML messaging (Q924673):
Displayed 6 items.
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)