( en | de | ru )

 

Disambiguierung von "Yoshida, Nobuko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Suptyping and Locality in Distributed Higher Order Processes (extended abstract).

, und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 557-572. Springer, (1999)

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.

Nobuko Omachi

Nobuko Tanimura

Takuro Yoshida

Daisuke Yoshida

Nobuko Drenhaus

 

Weitere Publikationen von Autoren mit dem selben Namen

Service Equivalence via Multiparty Session Type Isomorphisms., und . PLACES@ETAPS, Volume 291 von EPTCS, Seite 1-11. (2019)Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday., , , , und . Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 155-172. Springer, (2016)Verifying message-passing programs with dependent behavioural types., , und . PLDI, Seite 502-516. ACM, (2019)Session typing and asynchronous subtyping for the higher-order π-calculus., und . Inf. Comput., (2015)Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)., und . CoRR, (2020)Precise Subtyping for Asynchronous Multiparty Sessions., , , , und . CoRR, (2020)Multiparty session types, beyond duality., und . J. Log. Algebraic Methods Program., (2018)Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact)., und . Dagstuhl Artifacts Ser., 6 (2): 12:1-12:3 (2020)Less is more: multiparty session types revisited., und . Proc. ACM Program. Lang., 3 (POPL): 30:1-30:29 (2019)Multiparty motion coordination: from choreographies to robotics programs., , und . Proc. ACM Program. Lang., 4 (OOPSLA): 134:1-134:30 (2020)