The following pages link to Trustworthy Global Computing (Q5394802):
Displaying 6 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- XPi: a typed process calculus for XML messaging (Q924673) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Foundations of Software Science and Computational Structures (Q5705884) (← links)