( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Manifest Deadlock-Freedom for Shared Session Types.

, , и . ESOP, том 11423 из Lecture Notes in Computer Science, стр. 611-639. Springer, (2019)

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.

Werner Balzer

Gertrud Balzer

Werner Balzer

Karola Balzer

Paul Balzer

 

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

A Universal Session Type for Untyped Asynchronous Communication., , и . CONCUR, том 118 из LIPIcs, стр. 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Higher-Order Leak and Deadlock Free Locks., и . Proc. ACM Program. Lang., 7 (POPL): 1027-1057 (января 2023)Manifest Deadlock-Freedom for Shared Session Types., , и . ESOP, том 11423 из Lecture Notes in Computer Science, стр. 611-639. Springer, (2019)Ferrite: A Judgmental Embedding of Session Types in Rust., , и . ECOOP, том 222 из LIPIcs, стр. 22:1-22:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Can Aspects Implement Contracts?., , и . RISE, том 3943 из Lecture Notes in Computer Science, стр. 145-157. Springer, (2005)Modular reasoning about invariants over shared state with interposed data members., и . PLPV, стр. 49-56. ACM, (2010)Manifest sharing with session types., и . Proc. ACM Program. Lang., 1 (ICFP): 37:1-37:29 (2017)Recursive Session Logical Relations., и . CoRR, (2022)Splash'13 workshops summary., и . SPLASH (Companion Volume), стр. 177-178. ACM, (2013)Object Propositions., , , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 497-513. Springer, (2014)