Pages that link to "Item:Q838158"
From MaRDI portal
The following pages link to PiDuce- A project for experimenting web services technologies (Q838158):
Displaying 9 items.
- PiDuce (Q14157) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- On projecting processes into session types (Q2883119) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- A Rude Contract Language for Web Services (Q5262959) (← links)
