Travelled to:1 × Austria
1 × Cyprus
1 × France
1 × Italy
1 × Portugal
1 × The Netherlands
1 × United Kingdom
Collaborated with:R.Pugliese ∅ M.Boreale P.Cenciarelli E.Tuosto M.Hennessy V.Sassone R.D.Nicola
Talks about:calculus (2) control (2) global (2) comput (2) applic (2) dynam (2) asynchron (1) privileg (1) movement (1) credenti (1)
Person: Daniele Gorla
DBLP: Gorla:Daniele
Contributed to:
2008
2006
2006
2005
200420032002Wrote 7 papers:
- ICGT-2008-CenciarelliGT #bisimulation #graph #network
- Network Applications of Graph Bisimulation (PC, DG, ET), pp. 131–146.
- FoSSaCS-2006-Gorla #communication #on the #power of
- On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.
- PPDP-2006-GorlaHS #trust
- Inferring dynamic credentials for rôle-based trust management (DG, MH, VS), pp. 213–224.
- ICALP-2005-NicolaGP #calculus
- Basic Observables for a Calculus for Global Computing (RDN, DG, RP), pp. 1226–1238.
- SAC-2004-GorlaP #data flow
- Controlling data movement in global computing applications (DG, RP), pp. 1462–1467.
- ICALP-2003-GorlaP #resource management
- Resource Access and Mobility Control with Dynamic Privileges Acquisition (DG, RP), pp. 119–132.
- FoSSaCS-2002-BorealeG #calculus #composition #on the #reasoning
- On Compositional Reasoning in the Sπ-calculus (MB, DG), pp. 67–81.