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.

 

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

Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties., и . Formal Aspects in Security and Trust, том 5983 из Lecture Notes in Computer Science, стр. 51-65. Springer, (2009)Distributed Processes and Location Failures (Extended Abstract)., и . ICALP, том 1256 из Lecture Notes in Computer Science, стр. 471-481. Springer, (1997)Pomsets with preconditions: a simple model of relaxed memory., , и . Proc. ACM Program. Lang., 4 (OOPSLA): 194:1-194:30 (2020)Eventual Consistency for CRDTs., и . ESOP, том 10801 из Lecture Notes in Computer Science, стр. 968-995. Springer, (2018)Transactions in relaxed memory architectures., , и . Proc. ACM Program. Lang., 2 (POPL): 18:1-18:29 (2018)Type-Safe Execution of Mobile Agents in Anonymous Networks., и . Secure Internet Programming, том 1603 из Lecture Notes in Computer Science, стр. 95-115. Springer, (1999)Flattening Is an Improvement., и . SAS, том 1824 из Lecture Notes in Computer Science, стр. 360-376. Springer, (2000)Access Control Based on Code Identity for Open Distributed Systems., и . TGC, том 4912 из Lecture Notes in Computer Science, стр. 169-185. Springer, (2007)Typed parametric polymorphism for aspects., , и . Sci. Comput. Program., 63 (3): 267-296 (2006)Resource Access Control in Systems of Mobile Agents., и . Inf. Comput., 173 (1): 82-120 (2002)