PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Honda, Kohei"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of MPI Programs Using Session Types.

, , , , , and . EuroMPI, volume 7490 of Lecture Notes in Computer Science, page 291-293. Springer, (2012)

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.

No persons found for author name Honda, Kohei
add a person with the name Honda, Kohei
 

Other publications of authors with the same name

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python., , , , and . Formal Methods in System Design, 46 (3): 197-225 (2015)Noninterference through flow analysis., and . J. Funct. Program., 15 (2): 293-349 (2005)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)On Reduction-Based Process Semantics., and . Theor. Comput. Sci., 151 (2): 437-486 (1995)The Two-Phase Commitment Protocol in an Extended pi-Calculus., and . Electr. Notes Theor. Comput. Sci., 39 (1): 21-46 (2000)An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules., , and . LICS, page 270-279. IEEE Computer Society, (2005)A uniform type structure for secure information flow., and . ACM Trans. Program. Lang. Syst., 29 (6): 31 (2007)Semantics Study and Reality of Computing.. ACM Comput. Surv., 31 (3es): 14 (1999)Verification of MPI Programs Using Session Types., , , , , and . EuroMPI, volume 7490 of Lecture Notes in Computer Science, page 291-293. Springer, (2012)On Asynchronous Communication Semantics., and . Object-Based Concurrent Computing, volume 612 of Lecture Notes in Computer Science, page 21-51. Springer, (1991)