BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Busi:Nadia

Contributed to:

ESOP 20052005
ICALP 20042004
ICALP 20032003
SAC 20032003
SAC 20022002
FoSSaCS 20012001
ESOP 20002000
SAC 20002000

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

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.