( en | de | ru )

 

Disambiguation of "Honda, Kohei"

Author of the publication

copydeleteadd this publication to your clipboard
On asynchronous eventful session semantics.

, , , and . Math. Struct. Comput. Sci., 26 (2): 303-364 (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Kohei Tatsumi

Kohei Tatsumi

Yuichiro Honda

Kazue Honda

Mohamed Koheil

 

Other publications of authors with the same name

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