Search - IFIP Open Digital Library Access content directly

Filter your results

10 results
authFullName_s : Nobuko Yoshida
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Jorge Pérez , Nobuko Yoshida
Springer International Publishing, LNCS-11535, 2019, Lecture Notes in Computer Science, 978-3-030-21758-7. ⟨10.1007/978-3-030-21759-4⟩
Books hal-02313743v1
Image document

Multiparty Session Actors

 Rumyana Neykova , Nobuko Yoshida
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.131-146, ⟨10.1007/978-3-662-43376-8_9⟩
Conference papers hal-01290073v1
Image document

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

 Mario Coppo , Mariangiola Dezani-Ciancaglini , Luca Padovani , Nobuko Yoshida
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.45-59, ⟨10.1007/978-3-642-38493-6_4⟩
Conference papers hal-01486034v1
Image document

Implementing Multiparty Session Types in Rust

 Nicolas Lagaillardie , Rumyana Neykova , Nobuko Yoshida
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers hal-03273998v1
Image document

Session-ocaml: A Session-Based Library with Polarities and Lenses

 Keigo Imai , Nobuko Yoshida , Shoji Yuen
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.99-118, ⟨10.1007/978-3-319-59746-1_6⟩
Conference papers hal-01657342v1
Image document

Monitoring Networks through Multiparty Session Types

 Laura Bocchi , Tzu-Chun Chen , Romain Demangeon , Nobuko Yoshida , Kohei Honda
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.50-65, ⟨10.1007/978-3-642-38592-6_5⟩
Conference papers hal-01213683v1
Image document

Safe Session-Based Asynchronous Coordination in Rust

 Zak Cutner , Nobuko Yoshida
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.80-89, ⟨10.1007/978-3-030-78142-2_5⟩
Conference papers hal-03387841v1
Image document

On Asynchronous Session Semantics

 Dimitrios Kouzapas , Nobuko Yoshida , Kohei Honda
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.228-243, ⟨10.1007/978-3-642-21461-5_15⟩
Conference papers hal-01583321v1
Image document

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

 Søren Debois , Thomas Hildebrandt , Tijs Slaats , Nobuko Yoshida
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43613-4_1⟩
Conference papers hal-01398004v1
Image document

Safe Parallel Programming with Session Java

 Nicholas Ng , Nobuko Yoshida , Olivier Pernet , Raymond Hu , Yiannos Kryftis
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.110-126, ⟨10.1007/978-3-642-21464-6_8⟩
Conference papers hal-01582999v1
Page :