( en | de | ru )

 

Disambiguation of "Ghezzi, Carlo"

Author of the publication

copydeleteadd this publication to your clipboard
ContextErlang: introducing context-oriented programming in the actor model.

, , and . AOSD, page 191-202. ACM, (2012)

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.

Teresa Carlomagno

Lothar Carlowitz

Horst Carlowitz

Hans Carlowitz

Hans Carlowitz

 

Other publications of authors with the same name

Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , and . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, page 507--511. ACM, ACM Press, (July 2002)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , and . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), volume X of Electronic Communications of the EASST, page 277--290. EASST, European Association of Software Science and Technology, (March 2008)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., and . Symposium on Testing, Analysis, and Verification, page 112-122. ACM, (1991)RESTful Service Architectures for Pervasive Networking Environments., , and . REST: From Research to Practice, Springer, (2011)Software Qualities and Principles., , and . The Computer Science and Engineering Handbook, CRC Press, (1997)Editorial.. ACM Trans. Softw. Eng. Methodol., 14 (2): 119-123 (2005)Editorial.. ACM Trans. Softw. Eng. Methodol., 16 (1): 2 (2007)Version-consistent dynamic reconfiguration of component-based distributed systems., , , , and . SIGSOFT FSE, page 245-255. ACM, (2011)Hybrid service-oriented architectures: a case-study in the automotive domain., , , , , and . SEM, page 62-68. ACM, (2005)Dealing with Incompleteness in Automata-Based Model Checking., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 531-550. (2016)