( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Fully Abstract Game Semantics for General References.

, , и . LICS, стр. 334-344. IEEE Computer Society, (1998)

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.

Kohei Tatsumi

Kohei Tatsumi

Yuichiro Honda

Kazue Honda

Mohamed Koheil

 

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

On Reduction-Based Process Semantics., и . Theor. Comput. Sci., 151 (2): 437-486 (1995)Verification of MPI Programs Using Session Types., , , , , и . EuroMPI, том 7490 из Lecture Notes in Computer Science, стр. 291-293. Springer, (2012)Noninterference through flow analysis., и . J. Funct. Program., 15 (2): 293-349 (2005)Bayesian Network-Based Probabilistic Constraints for Safe Autonomous Driving in Occlusion Environments., , , , и . ITSC, стр. 3770-3777. IEEE, (2023)On Asynchronous Communication Semantics., и . Object-Based Concurrent Computing, том 612 из Lecture Notes in Computer Science, стр. 21-51. Springer, (1991)A Unified Theory of Program Logics: An Approach based on the n-Calculus., и . BCS Int. Acad. Conf., стр. 259-274. British Computer Society, (2008)Game Theoretic Analysis of Call-by-Value Computation., и . ICALP, том 1256 из Lecture Notes in Computer Science, стр. 225-236. Springer, (1997)Spline-Interpolated Model Predictive Path Integral Control with Stein Variational Inference for Reactive Navigation., , , и . ICRA, стр. 13171-13177. IEEE, (2024)Stein Variational Guided Model Predictive Path Integral Control: Proposal and Experiments with Fast Maneuvering Vehicles., , , , , , и . ICRA, стр. 7020-7026. IEEE, (2024)Processes and Games.. WRLA, том 71 из Electronic Notes in Theoretical Computer Science, стр. 40-69. Elsevier, (2002)