Author of the publication

Prioritized and Parallel Reactions in Shared Data Space Coordination Languages.

, and . COORDINATION, volume 3454 of Lecture Notes in Computer Science, page 204-219. Springer, (2005)

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

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 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)Positive Non-interference in Elementary and Trace Nets., and . ICATPN, volume 3099 of Lecture Notes in Computer Science, page 1-16. Springer, (2004)Compact Net Semantics for Process Algebras., , and . FORTE, volume 183 of IFIP Conference Proceedings, page 319-334. Kluwer, (2000)Causality in Membrane Systems.. Workshop on Membrane Computing, volume 4860 of Lecture Notes in Computer Science, page 160-171. Springer, (2007)Distributed Conflicts in Communicating Systems., and . ECOOP Workshop, volume 924 of Lecture Notes in Computer Science, page 49-65. Springer, (1994)Deciding Behavioural Properties in Brane Calculi.. CMSB, volume 4210 of Lecture Notes in Computer Science, page 17-31. Springer, (2006)Comparing three semantics for Linda-like languages., , and . Theor. Comput. Sci., 240 (1): 49-90 (2000)