( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards 'up to context' reasoning about higher-order processes.

, , и . Theor. Comput. Sci., (2020)

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.

Adrien Weingärtner

Adrien Schoof

Adrien Coyette

Adrien Coulet

Adrien Maudet

 

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

Trace-Relating Compiler Correctness and Secure Compilation., , , , , , , , и . ESOP, том 12075 из Lecture Notes in Computer Science, стр. 1-28. Springer, (2020)SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation., , , , , и . CSF, стр. 64-79. IEEE, (2022)Eager Functions as Processes., , и . CoRR, (2021)SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation., , , , , и . CoRR, (2021)Eager Functions as Processes (long version)., , и . CoRR, (2022)Unique solution techniques for processes and functions. (Techniques d'unicité des solutions pour processus concurrents et fonctions).. University of Lyon, France, (2020)Towards 'up to context' reasoning about higher-order processes., , и . Theor. Comput. Sci., (2020)Divergence and unique solution of equations., , и . Logical Methods in Computer Science, (2019)Eager functions as processes., , и . Theor. Comput. Sci., (2022)An Extended Account of Trace-relating Compiler Correctness and Secure Compilation., , , , , , , , и . ACM Trans. Program. Lang. Syst., 43 (4): 14:1-14:48 (2021)