Author of the publication

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.

 

Other publications of authors with the same name

Coordination Models: A Guided Tour., , , and . Coordination of Internet Agents: Models, Technologies, and Applications, Springer, (2001)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)(Tissue) P systems with cell polarity., , , , , , , and . Math. Struct. Comput. Sci., 19 (6): 1141-1160 (2009)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)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)On the Semantics of JavaSpaces., , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 3-19. Kluwer, (2000)Reachability Analysis in Boxed Ambients., and . ICTCS, volume 3701 of Lecture Notes in Computer Science, page 143-159. Springer, (2005)On the Expressiveness of Linda Coordination Primitives., , and . Inf. Comput., 156 (1-2): 90-121 (2000)