( en | de | ru )

 

Disambiguation of "Gorrieri, Roberto"

Author of the publication

copydeleteadd this publication to your clipboard
On the Semantics of JavaSpaces.

, , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 3-19. Kluwer, (2000)

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.

Roberto Cruccolini

Roberto Sala

Roberto Fornari

Roberto Minakawa

Roberto Köferstein

 

Other publications of authors with the same name

Computing Surveys' Electronic Symposium on the Theory of Computation., , , and . ACM Comput. Surv., 31 (3): 223-226 (1999)Temporary Data in Shared Dataspace Coordination Languages., , and . FoSSaCS, volume 2030 of Lecture Notes in Computer Science, page 121-136. Springer, (2001)Process Calculi for Coordination: From Linda to JavaSpaces., , and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 198-212. Springer, (2000)An Exercise in Concurrency: a CSP Process as a Condition/ event System., , and . European Workshop on Applications and Theory of Petri Nets, volume 340 of Lecture Notes in Computer Science, page 85-105. Springer, (1987)Obituary, Nadia Busi (1968-2007).. Bulletin of the EATCS, (2007)CCS(25, 12) is Turing-complete.. Fundam. Informaticae, 154 (1-4): 145-166 (2017)A Process Algebraic View of Linda Coordination Primitives., , and . Theor. Comput. Sci., 192 (2): 167-199 (1998)Process Algebras for Petri Nets - The Alphabetization of Distributed Systems. Monographs in Theoretical Computer Science. An EATCS Series Springer, (2017)Security Analysis of a Probabilistic Non-repudiation Protocol., and . PAPM-PROBMIV, volume 2399 of Lecture Notes in Computer Science, page 17-36. Springer, (2002)Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.. FORTE, volume 12719 of Lecture Notes in Computer Science, page 80-99. Springer, (2021)