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

1

Editorial: World Chagas disease day 2022:

Palmisano, Giuseppe ; Yoshida, Nobuko
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10184814/. , 2023

Link: http://www.ncbi.nlm.nih...

2

Checkpoint-based rollback recovery in session programming:

Mezzina, Claudio Antares ; Tiezzi, Francesco ; Yoshida, Nobuko
http://arxiv.org/abs/2312.02851. , 2023

Link: http://arxiv.org/abs/231..

3

Designing Asynchronous Multiparty Protocols with Crash-Stop..:

Barwell, Adam D ; Hou, Ping ; Yoshida, Nobuko.
doi:10.5281/zenodo.7714132. , 2023

Link: https://zenodo.org/recor..

4

Designing Asynchronous Multiparty Protocols with Crash-Stop..:

Barwell, Adam D ; Hou, Ping ; Yoshida, Nobuko.
http://arxiv.org/abs/2305.06238. , 2023

Link: http://arxiv.org/abs/230..

5

Crash-Stop Failures in Asynchronous Multiparty Session Type:

Barwell, Adam D ; Hou, Ping ; Yoshida, Nobuko.
http://arxiv.org/abs/2311.11851. , 2023

Link: http://arxiv.org/abs/231..

6

Hybrid Multiparty Session Types -- Full Version:

Gheri, Lorenzo ; Yoshida, Nobuko
http://arxiv.org/abs/2302.01979. , 2023

Link: http://arxiv.org/abs/230..

7

Designing asynchronous multiparty protocols with crash-stop..:

Barwell, Adam David ; Hou, Ping ; Yoshida, Nobuko.
Barwell , A D , Hou , P , Yoshida , N & Zhou , F 2023 , ' Designing asynchronous multiparty protocols with crash-stop failures ' , Paper presented at 37th European Conference on Object-Oriented Programming , Seattle , United States , 17/07/23 - 21/07/23 pp. 1:1-1:30 . https://doi.org/10.4230/LIPIcs.ECOOP.2023.1. , 2023

Link: http://hdl.handle.net/10..

8

Causal computational complexity of distributed processes:

Demangeon, Romain ; Yoshida, Nobuko
https://eprints.gla.ac.uk/287452/1/287452.pdf. , 2023

Link: https://eprints.gla.ac.u..

9

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
https://orbit.dtu.dk/en/publications/175d2554-f057-4975-a703-4b6749e592d0. , 2023

Link: https://orbit.dtu.dk/en/..

10

Dynamically Updatable Multiparty Session Protocols:

Castro-Perez, David ; Yoshida, Nobuko
https://kar.kent.ac.uk/100746/1/Castro-Perez_Dynamically%20Updatable%20MultipartyPDF.pdf. , 2023

Link: https://kar.kent.ac.uk/1..

11

Generic Go to Go: Dictionary-Passing, Monomorphisation, and..:

Ellis, Stephen ; Zhu, Shuofei ; Yoshida, Nobuko.
http://arxiv.org/abs/2208.06810. , 2022

Link: http://arxiv.org/abs/220..

12

Design-By-Contract for Flexible Multiparty Session Protocol:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
doi:10.4230/LIPIcs.ECOOP.2022.8. , 2022

Link: https://doi.org/10.4230/..

13

Generalised Multiparty Session Types with Crash-Stop Failur..:

Barwell, Adam D ; Scalas, Alceste ; Yoshida, Nobuko.
doi:10.4230/LIPIcs.CONCUR.2022.35. , 2022

Link: https://doi.org/10.4230/..

14

Design-by-Contract for Flexible Multiparty Session Protocol..:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
doi:10.4230/DARTS.8.2.21. , 2022

Link: https://doi.org/10.4230/..

15

Stay Safe under Panic: Affine Rust Programming with Multipa..:

Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko
http://arxiv.org/abs/2204.13464. , 2022

Link: http://arxiv.org/abs/220..