The following pages link to Rosario Pugliese (Q859967):
Displaying 40 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)
- Specifying and Analysing SOC Applications with COWS (Q3507397) (← links)
- Regulating Data Exchange in Service Oriented Applications (Q3508528) (← links)
- C WS: A Timed Service-Oriented Calculus (Q3525091) (← links)
- (Q4445774) (← links)
- (Q4449169) (← links)
- (Q4499204) (← links)
- (Q4536592) (← links)
- Basic observables for processes (Q4571979) (← links)
- (Q4673434) (← links)
- Klava: a Java package for distributed and mobile applications (Q4791126) (← links)
- MetaKlaim: a type safe multi-stage language for global computing (Q4819115) (← links)
- (Q4963996) (← links)
- Pattern Matching over a Dynamic Network of Tuple Spaces (Q4989022) (← links)
- (Q5114827) (← links)
- Programming and Verifying Component Ensembles (Q5170744) (← links)
- Programming Autonomic Systems with Multiple Constraint Stores (Q5256375) (← links)
- Verification: Theory and Practice (Q5305653) (← links)
- On Observing Dynamic Prioritised Actions in SOC (Q5321686) (← links)
- Automata, Languages and Programming (Q5716867) (← links)
- A Calculus for Orchestration of Web Services (Q5756484) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898165) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)
