PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Honda, Kohei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Session-Based Compilation Framework for Multicore Programming.

, , , und . FMCO, Volume 5751 von Lecture Notes in Computer Science, Seite 226-246. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Honda, Kohei
Eine Person hinzufügen mit dem Namen Honda, Kohei
 

Weitere Publikationen von Autoren mit dem selben Namen

On Reduction-Based Process Semantics., und . Theor. Comput. Sci., 151 (2): 437-486 (1995)An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules., , und . LICS, Seite 270-279. IEEE Computer Society, (2005)On Asynchronous Communication Semantics., und . Object-Based Concurrent Computing, Volume 612 von Lecture Notes in Computer Science, Seite 21-51. Springer, (1991)Game Theoretic Analysis of Call-by-Value Computation., und . ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 225-236. Springer, (1997)Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python., , , , und . RV, Volume 8174 von Lecture Notes in Computer Science, Seite 130-148. Springer, (2013)Semantics Study and Reality of Computing.. ACM Comput. Surv., 31 (3es): 14 (1999)A uniform type structure for secure information flow., und . ACM Trans. Program. Lang. Syst., 29 (6): 31 (2007)Verification of MPI Programs Using Session Types., , , , , und . EuroMPI, Volume 7490 von Lecture Notes in Computer Science, Seite 291-293. Springer, (2012)A Unified Theory of Program Logics: An Approach based on the n-Calculus., und . BCS Int. Acad. Conf., Seite 259-274. British Computer Society, (2008)Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python., , , , und . Formal Methods in System Design, 46 (3): 197-225 (2015)