The following pages link to Rosario Pugliese (Q859967):
Displaying 18 items.
- (Q236763) (redirect page) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Global computing in a dynamic network of tuple spaces (Q859968) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Basic observables for processes (Q1286368) (← links)
- Types for access control (Q1575157) (← links)
- Linda-based applicative and imperative process algebras (Q1575260) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← 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)
- Proof Techniques for Cryptographic Processes (Q2784489) (← links)
- (Q2848139) (← links)
- Klava: a Java package for distributed and mobile applications (Q4791126) (← links)
