The following pages link to Rosario Pugliese (Q859967):
Displaying 8 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Basic observables for processes (Q1286368) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Confining data and processes in global computing applications (Q2432761) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- Specifying and Analysing SOC Applications with COWS (Q3507397) (← links)
- Klava: a Java package for distributed and mobile applications (Q4791126) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)
