( en | de | ru )

 

Disambiguation of "Honda, Kohei"

Author of the publication

copydeleteadd this publication to your clipboard
Monitoring Networks through Multiparty Session Types.

, , , , and . FMOODS/FORTE, volume 7892 of Lecture Notes in Computer Science, page 50-65. Springer, (2013)

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

A uniform type structure for secure information flow., and . ACM Trans. Program. Lang. Syst., 29 (6): 31 (2007)Noninterference through flow analysis., and . J. Funct. Program., 15 (2): 293-349 (2005)On Reduction-Based Process Semantics., and . Theor. Comput. Sci., 151 (2): 437-486 (1995)Verification of MPI Programs Using Session Types., , , , , and . EuroMPI, volume 7490 of Lecture Notes in Computer Science, page 291-293. Springer, (2012)Semantics Study and Reality of Computing.. ACM Comput. Surv., 31 (3es): 14 (1999)A Calculus of Global Interaction based on Session Types., , and . DCM@ICALP, volume 171 of Electronic Notes in Theoretical Computer Science, page 127-151. Elsevier, (2006)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)