PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Yoshida, Nobuko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.

, , und . J. Log. Algebraic Methods Program., (2022)

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 Yoshida, Nobuko
Eine Person hinzufügen mit dem Namen Yoshida, Nobuko
 

Weitere Publikationen von Autoren mit dem selben Namen

Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators.. Theor. Comput. Sci., 274 (1-2): 231-276 (2002)Characteristic Formulae for Session Types (extended version)., und . CoRR, (2015)Global progress for dynamically interleaved multiparty sessions., , , und . Mathematical Structures in Computer Science, 26 (2): 238-302 (2016)Characteristic bisimulation for higher-order session processes., , und . Acta Inf., 54 (3): 271-341 (2017)Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness., , und . CoRR, (2015)Parameterised Multiparty Session Types, , , und . Logical Methods in Computer Science, (2012)A Sound Algorithm for Asynchronous Session Subtyping (extended version)., , , , und . CoRR, (2019)Let it recover: multiparty protocol-induced recovery., und . CC, Seite 98-108. ACM, (2017)Featherweight Scribble., und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 236-259. Springer, (2019)Logical Reasoning for Higher-Order Functions with Local State., , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 361-377. Springer, (2007)