( en | de | ru )

 

Disambiguierung von "Yoshida, Nobuko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional Choreographies.

, und . CONCUR, Volume 8052 von Lecture Notes in Computer Science, Seite 425-439. Springer, (2013)

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

Session typing and asynchronous subtyping for the higher-order π-calculus., und . Inf. Comput., (2015)Verifying message-passing programs with dependent behavioural types., , und . PLDI, Seite 502-516. ACM, (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)Causal Computational Complexity of Distributed Processes., und . LICS, Seite 344-353. ACM, (2018)Service Equivalence via Multiparty Session Type Isomorphisms., und . PLACES@ETAPS, Volume 291 von EPTCS, Seite 1-11. (2019)Multiparty session types, beyond duality., und . J. Log. Algebraic Methods Program., (2018)Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)., und . CoRR, (2020)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)Lightweight Session Programming in Scala (Artifact)., und . Dagstuhl Artifacts Ser., 2 (1): 11:1-11:2 (2016)Precise Subtyping for Asynchronous Multiparty Sessions., , , , und . CoRR, (2020)