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

Separation and Encodability in Mixed Choice Multiparty Sess..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Peters, Kirstin ; Yoshida, Nobuko - p. 1-15 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Protocol Conformance of Collaborative SPARQL Using Multipar..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Hernawan, Ari ; Yoshida, Nobuko - p. 1-18 , 2024
Link: https://doi.org/10.1007/..
 
?
3

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/..
 
?
4

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/..
 
?
5

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..
 
?
6

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/..
 
?
7

How to Verify Your Python Conversations:

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

Session Types with Linearity in Haskell:

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

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/..
 
?
10

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..
 
?
11

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/..
 
?
12

Protocol-Driven MPI Program Generation:

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

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..
 
?
14

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..
 
?
15

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/..
 
1-15