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
Session-Based Compilation Framework for Multicore Programming.

, , , and . FMCO, volume 5751 of Lecture Notes in Computer Science, page 226-246. Springer, (2008)

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)An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules., , and . LICS, page 270-279. IEEE Computer Society, (2005)The Two-Phase Commitment Protocol in an Extended pi-Calculus., and . Electr. Notes Theor. Comput. Sci., 39 (1): 21-46 (2000)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)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)Game Theoretic Analysis of Call-by-Value Computation., and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 225-236. Springer, (1997)Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python., , , , and . RV, volume 8174 of Lecture Notes in Computer Science, page 130-148. Springer, (2013)