The following pages link to PiDuce (Q14157):
Displayed 17 items.
- 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)
- XPi: a typed process calculus for XML messaging (Q924673) (← 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)
- Linear forwarders (Q2384926) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- On projecting processes into session types (Q2883119) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- Algebraic Pattern Matching in Join Calculus (Q3518273) (← links)
- A Typed Calculus for Querying Distributed XML Documents (Q3608459) (← links)
- A Rude Contract Language for Web Services (Q5262959) (← links)
- Programming Languages and Systems (Q5899017) (← links)
- Foundations of Software Science and Computation Structures (Q5899079) (← links)