Travelled to:1 × Finland
1 × Germany
1 × Italy
1 × Spain
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:G.Zavattaro M.Gabbrielli R.Gorrieri C.Manfredini A.Montresor
Talks about:data (5) coordin (4) languag (3) driven (3) peer (3) temporari (2) dataspac (2) calculi (2) replic (2) recurs (2)
Person: Nadia Busi
DBLP: Busi:Nadia
Contributed to:
2005
20042003
20032002
200120002000Wrote 8 papers:
- ESOP-2005-BusiZ #mobile #reachability
- Deciding Reachability in Mobile Ambients (NB, GZ), pp. 248–262.
- ICALP-2004-BusiGZ #calculus #process #recursion #replication
- Comparing Recursion, Replication, and Iteration in Process Calculi (NB, MG, GZ), pp. 307–319.
- 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.