Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nobuko Yoshida
56  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Programming Language Implementations with Multiparty Sessio..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,
Yoshida, Nobuko - p. 147-165 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Multicompatibility for Multiparty-Session Composition:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,
Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Gheri, Lorenzo. - p. 1-15 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Rollback Recovery in Session-Based Programming:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Mezzina, Claudio Antares ; Tiezzi, Francesco ; Yoshida, Nobuko - p. 195-213 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Protocol-Driven MPI Program Generation:

, In: Behavioural Types,
Ng, Nicholas ; Yoshida, Nobuko - p. 329-352 , 2022
Link: https://doi.org/10.1201/..
 
?
6

A Tool for Choreography-Based Analysis of Message-Passing S..:

, In: Behavioural Types,
Lange, Julien ; Tuosto, Emilio ; Yoshida, Nobuko - p. 125-145 , 2022
Link: https://doi.org/10.1201/..
 
?
7

Deadlock-free asynchronous message reordering in rust with ..:

, In: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
Cutner, Zak ; Yoshida, Nobuko ; Vassor, Martin - p. 246-261 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

How to Verify Your Python Conversations:

, In: Behavioural Types,
Neykova, Rumyana ; Yoshida, Nobuko - p. 77-98 , 2022
Link: https://doi.org/10.1201/..
 
?
9

Session Types with Linearity in Haskell:

, In: Behavioural Types,
Orchard, Dominic ; Yoshida, Nobuko - p. 219-241 , 2022
Link: https://doi.org/10.1201/..
 
?
10

Deductive Verification of MPI Protocols:

, In: Behavioural Types,
Vasconcelos, Vasco T. ; Martins, Francisco ; Marques, Eduardo R. B... - p. 353-372 , 2022
Link: https://doi.org/10.1201/..
 
?
11

Zooid: a DSL for certified multiparty computation: from mec..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Castro-Perez, David ; Ferreira, Francisco ; Gheri, Lorenzo. - p. 237-251 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Safe Session-Based Asynchronous Coordination in Rust:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Cutner, Zak ; Yoshida, Nobuko - p. 80-89 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Communication-safe web programming in TypeScript with route..:

, In: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction,
Miu, Anson ; Ferreira, Francisco ; Yoshida, Nobuko. - p. 94-106 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Communicating Finite State Machines and an Extensible Toolc..:

, In: Fundamentals of Computation Theory; Lecture Notes in Computer Science,
Yoshida, Nobuko ; Zhou, Fangyi ; Ferreira, Francisco - p. 18-35 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Event Structures for the Reversible Early Internal $$\pi $$..:

, In: Reversible Computation; Lecture Notes in Computer Science,
Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko - p. 71-90 , 2020
Link: https://doi.org/10.1007/..
 
1-15