( en | de | ru )

 

Disambiguation of "Moggi, Eugenio"

Author of the publication

copydeleteadd this publication to your clipboard
A Fully-Abstract Model for the pi-Calculus (Extended Abstract).

, , and . LICS, page 43-54. IEEE Computer Society, (1996)

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.

Franz Moggi

Eugenio Rivera

Eugenio Fava

Eugenio Amato

Eugenio Polito

 

Other publications of authors with the same name

Mixin Modules and Computational Effects., , , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 224-238. Springer, (2003)ML-Like Inference for Classifiers., , and . ESOP, volume 2986 of Lecture Notes in Computer Science, page 79-93. Springer, (2004)An Idealized MetaML: Simpler, and More Expressive., , , and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 193-207. Springer, (1999)A Semantic Account of Rigorous Simulation., , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 223-239. Springer, (2018)The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types., and . J. Symb. Log., 49 (4): 1319-1332 (1984)Monadic Encapsulation of Effects: a Revised Approach., and . HOOTS, volume 26 of Electronic Notes in Theoretical Computer Science, page 121. Elsevier, (1999)Higher-Order Types and Meta-Programming for Global Computing., , and . TOSCA, volume 62 of Electronic Notes in Theoretical Computer Science, page 52-68. Elsevier, (2001)Global Types and Network Services., , and . ConCoord, volume 54 of Electronic Notes in Theoretical Computer Science, page 35-48. Elsevier, (2001)Acumen: An Open-Source Testbed for Cyber-Physical Systems Research., , , , , , , , , and 14 other author(s). IoT 360 (1), volume 169 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 118-130. (2015)The Klaim Project: Theory and Practice., , , , , , , , , and . Global Computing, volume 2874 of Lecture Notes in Computer Science, page 88-150. Springer, (2003)