E-LIB Suche - Ergebnisse für: Nobuko Yoshida

1

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

2

Mixed choice in session types:

Peters, Kirstin ; Yoshida, Nobuko
Information and Computation. 298 (2024) - p. 105164 , 2024

Link: https://doi.org/10.1016/..

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

Editorial: World Chagas disease day 2022:

Palmisano, Giuseppe ; Yoshida, Nobuko
Frontiers in Cellular and Infection Microbiology. 13 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

6

Causal computational complexity of distributed processes:

Demangeon, Romain ; Yoshida, Nobuko
Information and Computation. 290 (2023) - p. 104998 , 2023

Link: https://doi.org/10.1016/..

7

Hybrid Multiparty Session Types: Compositionality for Proto..:

Gheri, Lorenzo ; Yoshida, Nobuko
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 112-142 , 2023

Link: https://doi.org/10.1145/..

8

Introduction to the Special Issue on ESOP 2021:

Yoshida, Nobuko
ACM Transactions on Programming Languages and Systems. 44 (2022) 3 - p. 1-1 , 2022

Link: https://doi.org/10.1145/..

9

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

10

Protocol-Driven MPI Program Generation:

, In: Behavioural Types,

Ng, Nicholas ; Yoshida, Nobuko - p. 329-352 , 2022

Link: https://doi.org/10.1201/..

11

Book review:

Barwell, Adam D. ; Ferreira, Francisco ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming. 125 (2022) - p. 100744 , 2022

Link: https://doi.org/10.1016/..

12

Event structures for the reversible early internal π-calcul..:

Graversen, Eva ; Phillips, Iain ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100720 , 2022

Link: https://doi.org/10.1016/..

13

Generic go to go: dictionary-passing, monomorphisation, and..:

Ellis, Stephen ; Zhu, Shuofei ; Yoshida, Nobuko.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1207-1235 , 2022

Link: https://doi.org/10.1145/..

14

Gp35/50 mucin molecules of Trypanosoma cruzi metacyclic for..:

Onofre, Thiago Souza ; Loch, Leonardo ; Ferreira Rodrigues, João Paulo...
PLOS Neglected Tropical Diseases. 16 (2022) 10 - p. e0010788 , 2022

Link: https://doi.org/10.1371/..

15

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