( en | de | ru )

 

Disambiguation of "Busi, Nadia"

Author of the publication

copydeleteadd this publication to your clipboard
A process algebraic view of shared dataspace coordination.

, and . J. Log. Algebraic Methods Program., 75 (1): 52-85 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Giulio Busi

Martina Büsing

Die Wertigkeit der Stichprovokation mit lebenden Insekten zur Therapiekontrolle der spezifischen Immuntherapie bei Hymenopterengiftallergie. MedH Hannover, (2009)

Hermann Heinrich Büsing

Carl Wilhelm Büsing

Wolfgang Büsing

 

Other publications of authors with the same name

Reachability Analysis in Boxed Ambients., and . ICTCS, volume 3701 of Lecture Notes in Computer Science, page 143-159. Springer, (2005)On the expressive power of movement and restriction in pure mobile ambients., and . Theor. Comput. Sci., 322 (3): 477-515 (2004)On the Expressiveness of Event Notification in Data-Driven Coordination Languages., and . ESOP, volume 1782 of Lecture Notes in Computer Science, page 41-55. Springer, (2000)Coordination Models: A Guided Tour., , , and . Coordination of Internet Agents: Models, Technologies, and Applications, Springer, (2001)On the Expressiveness of Linda Coordination Primitives., , and . Inf. Comput., 156 (1-2): 90-121 (2000)On the Semantics of JavaSpaces., , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 3-19. Kluwer, (2000)Integrating TwoTowers and GreatSPN through a compact net semantics., , and . Perform. Evaluation, 50 (2/3): 153-187 (2002)Deciding reachability problems in Turing-complete fragments of Mobile Ambients., and . Math. Struct. Comput. Sci., 19 (6): 1223-1263 (2009)Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs., and . J. Log. Algebraic Methods Program., 78 (3): 138-162 (2009)Process discovery and Petri nets., and . Math. Struct. Comput. Sci., 19 (6): 1091-1124 (2009)