BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gorla:Daniele

Contributed to:

ICGT 20082008
FoSSaCS 20062006
PPDP 20062006
ICALP 20052005
SAC 20042004
ICALP 20032003
FoSSaCS 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.