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 × Finland
1 × Greece
1 × Latvia
1 × Portugal
1 × South Africa
1 × Spain
1 × The Netherlands
1 × Vietnam
2 × Cyprus
2 × Germany
2 × USA
2 × United Kingdom
3 × Italy
Collaborated with:
N.Busi M.Bravetti R.Lucchi C.Laneve I.Lanese M.Gabbrielli R.D.Cosmo S.Zacchiroli R.Gorrieri C.Guidi M.Gaspari J.Mauro G.Delzanno A.Sangnier L.Acciai M.Boreale S.Pradalier F.Montesi C.Manfredini A.Montresor S.Giallorenzo I.Talevi
Talks about:
servic (6) data (6) coordin (5) process (4) languag (4) driven (4) web (4) peer (3) choreographi (2) temporari (2)

Person: Gianluigi Zavattaro

DBLP DBLP: Zavattaro:Gianluigi

Facilitated 2 volumes:

SFM 2009Ed
SFM 2008Ed

Contributed to:

ICALP (2) 20132013
SEFM 20122012
FOSSACS 20112011
FOSSACS 20102010
QAPL 20092009
SEFM 20092009
SFM 20092009
SEFM 20082008
SFM 20082008
ESOP 20052005
FoSSaCS 20052005
SAC 20052005
ICALP 20042004
SAC 20042004
ICALP 20032003
SAC 20032003
SAC 20022002
FoSSaCS 20012001
ESOP 20002000
SAC 20002000
ECOOP 19991999
FASE 20192019

Wrote 23 papers:

ICALP-v2-2013-CosmoMZZ #component #configuration management
Component Reconfiguration in the Presence of Conflicts (RDC, JM, SZ, GZ), pp. 187–198.
SEFM-2012-CosmoZZ #component #towards
Towards a Formal Component Model for the Cloud (RDC, SZ, GZ), pp. 156–171.
FoSSaCS-2011-DelzannoSZ #ad hoc #clique #network #on the #power of #verification
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks (GD, AS, GZ), pp. 441–455.
FoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation
On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
QAPL-2009-LanevePZ #probability #process
From Biochemistry to Stochastic Processes (CL, SP, GZ), pp. 167–185.
SEFM-2009-LaneseZ #programming
Programming Sagas in SOCK (IL, GZ), pp. 189–198.
SFM-2009-BravettiZ #composition #contract #web #web service
Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.
SEFM-2008-LaneseGMZ
Bridging the Gap between Interaction- and Process-Oriented Choreographies (IL, CG, FM, GZ), pp. 323–332.
SFM-2008-Zavattaro #automaton #probability
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form (GZ), pp. 507–523.
ESOP-2005-BusiZ #mobile #reachability
Deciding Reachability in Mobile Ambients (NB, GZ), pp. 248–262.
FoSSaCS-2005-LaneveZ #transaction #web
Foundations of Web Transactions (CL, GZ), pp. 282–298.
SAC-2005-BravettiGLZ #e-commerce #formal method
Supporting e-commerce systems formalization with choreography languages (MB, CG, RL, GZ), pp. 831–835.
ICALP-2004-BusiGZ #calculus #process #recursion #replication
Comparing Recursion, Replication, and Iteration in Process Calculi (NB, MG, GZ), pp. 307–319.
SAC-2004-BravettiLZG #e-commerce #quality #security #web #web service
Web Services for E-commerce: guaranteeing security access and quality of service (MB, RL, GZ, RG), pp. 800–806.
SAC-2004-LucchiZ #coordination #data-driven #named #web #web service
WSSecSpaces: a secure data-driven coordination service for Web Services applications (RL, GZ), pp. 487–491.
ICALP-2003-BusiGZ #calculus #recursion #replication
Replication vs. Recursive Definitions in Channel Based Calculi (NB, MG, GZ), pp. 133–144.
SAC-2003-BusiMMZ #coordination #data-driven #named #network #peer-to-peer
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks (NB, CM, AM, GZ), pp. 380–386.
SAC-2002-BusiZ #on the #transaction
On the serializability of transactions in shared dataspaces with temporary data (NB, GZ), pp. 359–366.
FoSSaCS-2001-BusiGZ #coordination
Temporary Data in Shared Dataspace Coordination Languages (NB, RG, GZ), pp. 121–136.
ESOP-2000-BusiZ #coordination #data-driven #on the
On the Expressiveness of Event Notification in Data-Driven Coordination Languages (NB, GZ), pp. 41–55.
SAC-2000-BusiZ #coordination #data-driven #order
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations (NB, GZ), pp. 233–239.
ECOOP-1999-GaspariZ #algebra #corba #process #specification
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.
FASE-2019-BravettiGMTZ #automation #deployment
Optimal and Automated Deployment for Microservices (MB, SG, JM, IT, GZ), pp. 351–368.

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.