Nobuko Yoshida
763  Ergebnisse:
Personensuche X
?
4

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
 
?
5

Mixed choice in session types:

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

Programming Language Implementations with Multiparty Sessio..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,
Yoshida, Nobuko - p. 147-165 , 2024
 
?
 
?
 
?
11

Front Cover:

Natsui, Kazuki ; Tsuchiya, Atsunori ; Imamiya, Risa...
Liver International.  43 (2023)  5 - p. , 2023
 
?
12

Editorial: World Chagas disease day 2022:

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

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