From post

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.

 

Другие публикации лиц с тем же именем

Self-stabilizing Distributed Constraint Satisfaction, , и . Chicago Journal of Theoretical Computer Science, (1999)A calculus of superimpositions for distributed systems., и . AOSD, стр. 28-40. ACM, (2002)Interleaving Set Temporal Logic (Preliminary Version)., и . PODC, стр. 178-190. ACM, (1987)Using aspects to support the software process: XP over Eclipse., и . AOSD, стр. 169-179. ACM, (2006)Faithful Translations among Models and Specifications.. FME, том 2021 из Lecture Notes in Computer Science, стр. 419-434. Springer, (2001)Program Optimization Using Invariants.. ECI, том 44 из Lecture Notes in Computer Science, стр. 287-309. Springer, (1976)A Framework for Translating Models and Specifications., и . IFM, том 2335 из Lecture Notes in Computer Science, стр. 145-164. Springer, (2002)Aspects and Superimpositions., и . ECOOP Workshops, том 1743 из Lecture Notes in Computer Science, стр. 308-309. Springer, (1999)Deriving minimal models for resource utilization., , , , , и . GIBSE@AOSD, стр. 15-18. ACM, (2013)Interleaving Set Temporal Logic., и . Theor. Comput. Sci., 75 (3): 263-287 (1990)