( en | de | ru )

 

Disambiguierung von "Yoshida, Nobuko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
safeDpi: A Language for Controlling Mobile Code.

, , und . FoSSaCS, Volume 2987 von Lecture Notes in Computer Science, Seite 241-256. Springer, (2004)

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

Causal Computational Complexity of Distributed Processes., und . LICS, Seite 344-353. ACM, (2018)Depending on Session-Typed Processes., und . FoSSaCS, Volume 10803 von Lecture Notes in Computer Science, Seite 128-145. Springer, (2018)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)Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types., und . ICALP (2), Volume 7966 von Lecture Notes in Computer Science, Seite 174-186. Springer, (2013)Service Equivalence via Multiparty Session Type Isomorphisms., und . PLACES@ETAPS, Volume 291 von EPTCS, Seite 1-11. (2019)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)Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)., und . CoRR, (2020)How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs., , , , , , und . CoRR, (2024)