default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNobuko Yoshida
Person information
- affiliation: University of Oxford, UK
- affiliation (former): Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j82]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
:
Checkpoint-based rollback recovery in session programming. Log. Methods Comput. Sci. 21(1): 2 (2025)- [j81]Thien Udomsrirungruang, Nobuko Yoshida:
Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types. Proc. ACM Program. Lang. 9(POPL): 1040-1071 (2025) - [c181]Marco Giunti, Nobuko Yoshida:
Iso-Recursive Multiparty Sessions and their Automated Verification. ESOP (1) 2025: 349-378 - [c180]Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida:
Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $. RC 2025: 27-36 - [c179]Shunya Oguchi, Shoji Yuen, Nobuko Yoshida:
RevMiGo: Reversible Channel-Based Communication in Go Language. RC 2025: 119-127 - [i46]Marco Giunti, Nobuko Yoshida:
Iso-Recursive Multiparty Sessions and their Automated Verification - Technical Report. CoRR abs/2501.17778 (2025) - [i45]Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida:
Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types. CoRR abs/2504.21108 (2025) - [i44]Kai Pischke, Nobuko Yoshida:
Asynchronous Global Protocols, Precisely: Full Proofs. CoRR abs/2505.17676 (2025) - 2024
- [j80]Nicolas Lagaillardie, Ping Hou, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). Dagstuhl Artifacts Ser. 10(2): 10:1-10:3 (2024) - [j79]Martin Vassor, Nobuko Yoshida:
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact). Dagstuhl Artifacts Ser. 10(2): 23:1-23:5 (2024) - [j78]Kirstin Peters, Nobuko Yoshida:
Mixed choice in session types. Inf. Comput. 298: 105164 (2024) - [c178]Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon:
The Concurrent Calculi Formalisation Benchmark. COORDINATION 2024: 149-158 - [c177]Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. ECOOP 2024: 19:1-19:30 - [c176]Martin Vassor, Nobuko Yoshida:
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation. ECOOP 2024: 41:1-41:29 - [c175]Burak Ekici, Nobuko Yoshida:
Completeness of Asynchronous Session Tree Subtyping in Coq. ITP 2024: 13:1-13:20 - [c174]Kirstin Peters, Nobuko Yoshida:
Separation and Encodability in Mixed Choice Multiparty Sessions. LICS 2024: 62:1-62:15 - [c173]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types: 10 Years Later. PPDP 2024: 2:1-2:3 - [c172]Ari Hernawan, Nobuko Yoshida:
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. TASE 2024: 1-18 - [c171]Thien Udomsrirungruang, Nobuko Yoshida:
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. PLACES@ETAPS 2024: 49-60 - [p2]Nobuko Yoshida:
Programming Language Implementations with Multiparty Session Types. Active Object Languages: Current Research Trends 2024: 147-165 - [p1]Nobuko Yoshida, Ping Hou:
Less is More Revisited: Association with Global Multiparty Session Types. The Practice of Formal Methods (II) 2024: 268-291 - [d11]Burak Ekici, Nobuko Yoshida:
https://github.com/ekiciburak/sessionTreeST/tree/localtype. DROPS Artifacts, 2024
- [d10]Martin Vassor, Nobuko Yoshida:
Artifact: Refinements for Multiparty Message-Passing Protocols. Zenodo, 2024 - [i43]Thien Udomsrirungruang, Nobuko Yoshida:
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. CoRR abs/2402.06988 (2024) - [i42]Nobuko Yoshida, Ping Hou:
Less is More Revisit. CoRR abs/2402.16741 (2024) - [i41]Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang:
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. CoRR abs/2403.02661 (2024) - [i40]Kirstin Peters, Nobuko Yoshida:
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report). CoRR abs/2405.08104 (2024) - [i39]Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. CoRR abs/2406.19541 (2024) - [i38]Martin Vassor, Nobuko Yoshida:
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation. CoRR abs/2407.09106 (2024) - [i37]Thien Udomsrirungruang, Nobuko Yoshida:
Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types. CoRR abs/2411.07452 (2024) - 2023
- [j77]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9(2): 09:1-09:3 (2023) - [j76]David Castro-Perez, Nobuko Yoshida:
Dynamically Updatable Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 9(2): 10:1-10:2 (2023) - [j75]Romain Demangeon, Nobuko Yoshida:
Causal computational complexity of distributed processes. Inf. Comput. 290: 104998 (2023) - [j74]Lorenzo Gheri, Nobuko Yoshida:
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. Proc. ACM Program. Lang. 7(OOPSLA1): 112-142 (2023) - [j73]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24(2): 14:1-14:73 (2023) - [c170]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Rollback Recovery in Session-Based Programming. COORDINATION 2023: 195-213 - [c169]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP 2023: 1:1-1:30 - [c168]David Castro-Perez, Nobuko Yoshida:
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. ECOOP 2023: 6:1-6:30 - [c167]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida:
Multicompatibility for Multiparty-Session Composition. PPDP 2023: 2:1-2:15 - [d9]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Zenodo, 2023 - [i36]Lorenzo Gheri, Nobuko Yoshida:
Hybrid Multiparty Session Types - Full Version. CoRR abs/2302.01979 (2023) - [i35]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR abs/2305.06238 (2023) - [i34]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR abs/2311.11851 (2023) - [i33]Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Checkpoint-based rollback recovery in session programming. CoRR abs/2312.02851 (2023) - 2022
- [j72]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). Dagstuhl Artifacts Ser. 8(2): 09:1-09:16 (2022) - [j71]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8(2): 21:1-21:5 (2022) - [j70]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event structures for the reversible early internal π-calculus. J. Log. Algebraic Methods Program. 124: 100720 (2022) - [j69]Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida:
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. J. Log. Algebraic Methods Program. 125: 100744 (2022) - [j68]Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song:
Generic go to go: dictionary-passing, monomorphisation, and hybrid. Proc. ACM Program. Lang. 6(OOPSLA2): 1207-1235 (2022) - [j67]Nobuko Yoshida:
Introduction to the Special Issue on ESOP 2021. ACM Trans. Program. Lang. Syst. 44(3): 13:1 (2022) - [j66]Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida:
A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. 44(4): 26:1-26:55 (2022) - [c166]Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR 2022: 35:1-35:25 - [c165]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP 2022: 4:1-4:29 - [c164]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022: 8:1-8:28 - [c163]Zak Cutner, Nobuko Yoshida, Martin Vassor:
Deadlock-free asynchronous message reordering in rust with multiparty session types. PPoPP 2022: 246-261 - [c162]Kirstin Peters, Nobuko Yoshida:
On the Expressiveness of Mixed Choice Sessions. EXPRESS/SOS 2022: 113-130 - [i32]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. CoRR abs/2204.13464 (2022) - [i31]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR abs/2205.06535 (2022) - [i30]Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR abs/2207.02015 (2022) - [i29]Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song:
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. CoRR abs/2208.06810 (2022) - [i28]Kirstin Peters, Nobuko Yoshida:
On the Expressiveness of Mixed Choice Sessions (Technical Report). CoRR abs/2208.07041 (2022) - 2021
- [j65]Luca Aceto, Nathalie Bertrand, Nobuko Yoshida:
Interviews with the 2021 CONCUR Test-of-Time Award Recipients. Bull. EATCS 135 (2021) - [j64]Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida:
Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. 121: 100686 (2021) - [j63]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17(1) (2021) - [j62]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [j61]Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. ACM Trans. Program. Lang. Syst. 43(2): 7:1-7:55 (2021) - [c161]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-safe web programming in TypeScript with routed multiparty session types. CC 2021: 94-106 - [c160]Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida:
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR 2021: 1:1-1:3 - [c159]Zak Cutner, Nobuko Yoshida:
Safe Session-Based Asynchronous Coordination in Rust. COORDINATION 2021: 80-89 - [c158]Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira:
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. FCT 2021: 18-35 - [c157]David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida:
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. PLDI 2021: 237-251 - [e6]Nobuko Yoshida:
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Lecture Notes in Computer Science 12648, Springer 2021, ISBN 978-3-030-72018-6 [contents] - [d8]David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida:
Zooid: a DSL for Certified Multiparty Computation. Version 1. Zenodo, 2021 [all versions] - [d7]David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida:
Zooid: a DSL for Certified Multiparty Computation. Version 2. Zenodo, 2021 [all versions] - [d6]Zak Cutner, Nobuko Yoshida, Martin Vassor:
Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types. Zenodo, 2021 - [d5]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. Zenodo, 2021 - [i27]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CoRR abs/2101.04622 (2021) - [i26]David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida:
Zooid: a DSL for Certified Multiparty Computation. CoRR abs/2103.10269 (2021) - [i25]Zak Cutner, Nobuko Yoshida, Martin Vassor:
Deadlock-free asynchronous message reordering in Rust with multiparty session types. CoRR abs/2112.12693 (2021) - 2020
- [j60]Julia Gabet, Nobuko Yoshida:
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact). Dagstuhl Artifacts Ser. 6(2): 12:1-12:3 (2020) - [j59]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6(2): 18:1-18:2 (2020) - [j58]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A parametric framework for reversible π-calculi. Inf. Comput. 275: 104644 (2020) - [j57]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 4(OOPSLA): 134:1-134:30 (2020) - [j56]Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4(OOPSLA): 148:1-148:30 (2020) - [j55]Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight go. Proc. ACM Program. Lang. 4(OOPSLA): 149:1-149:29 (2020) - [j54]David Castro-Perez, Nobuko Yoshida:
CAMP: cost-aware multiparty session protocols. Proc. ACM Program. Lang. 4(OOPSLA): 155:1-155:30 (2020) - [c156]David Castro-Perez, Nobuko Yoshida:
Compiling first-order functions to session-typed parallel code. CC 2020: 143-154 - [c155]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Implementing Multiparty Session Types in Rust. COORDINATION 2020: 127-136 - [c154]Julia Gabet, Nobuko Yoshida:
Static Race Detection and Mutex Safety and Liveness for Go Programs. ECOOP 2020: 4:1-4:30 - [c153]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming With Global Protocol Combinators. ECOOP 2020: 9:1-9:30 - [c152]Sung-Shik Jongmans, Nobuko Yoshida:
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020: 251-279 - [c151]Nobuko Yoshida, Lorenzo Gheri:
A Very Gentle Introduction to Multiparty Session Types. ICDCIT 2020: 73-93 - [c150]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event Structures for the Reversible Early Internal π-Calculus. RC 2020: 71-90 - [c149]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
Towards a Formal Account for Software Transactional Memory. RC 2020: 255-263 - [c148]David Castro-Perez, Francisco Ferreira, Nobuko Yoshida:
EMTST: Engineering the Meta-theory of Session Types. TACAS (2) 2020: 278-285 - [c147]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS 2020: 12-22 - [d4]David Castro-Perez, Nobuko Yoshida:
CAMP: Cost-Aware Multiparty Session Protocols (artifact). Zenodo, 2020 - [d3]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty Motion Coordination: From Choreographies to Robotics Programs (Artifact). Zenodo, 2020 - [d2]Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. Version 1. Zenodo, 2020 [all versions] - [d1]Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. Version 2. Zenodo, 2020 [all versions] - [i24]Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida:
Event structures for the reversible early internal Pi-calculus. CoRR abs/2004.01211 (2020) - [i23]Julia Gabet, Nobuko Yoshida:
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version). CoRR abs/2004.12859 (2020) - [i22]Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen:
Multiparty Session Programming with Global Protocol Combinators. CoRR abs/2005.06333 (2020) - [i21]Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight Go. CoRR abs/2005.11710 (2020) - [i20]Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. CoRR abs/2009.06541 (2020) - [i19]David Castro-Perez, Nobuko Yoshida:
CAMP: Cost-Aware Multiparty Session Protocols. CoRR abs/2010.04449 (2020) - [i18]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty Motion Coordination: From Choreographies to Robotics Programs. CoRR abs/2010.05484 (2020) - [i17]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR abs/2010.13925 (2020) - [i16]Nobuko Yoshida, Simon Castellan, Léo Stefanesco:
Game Semantics: Easy as Pi. CoRR abs/2011.05248 (2020)
2010 – 2019
- 2019
- [j53]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019) - [j52]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Towards a categorical representation of reversible event structures. J. Log. Algebraic Methods Program. 104: 16-59 (2019) - [j51]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104: 127-173 (2019) - [j50]Simon Castellan, Nobuko Yoshida:
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side. Proc. ACM Program. Lang. 3(POPL): 27:1-27:29 (2019) - [j49]David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida:
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3(POPL): 29:1-29:30 (2019) - [j48]Alceste Scalas, Nobuko Yoshida:
Less is more: multiparty session types revisited. Proc. ACM Program. Lang. 3(POPL): 30:1-30:29 (2019) - [j47]Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A session-based library with polarities and lenses. Sci. Comput. Program. 172: 135-159 (2019) - [j46]Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41(1): 1:1-1:38 (2019) - [c146]Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu:
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp 2019: 1-5 - [c145]Bernardo Toninho, Nobuko Yoshida:
Polymorphic Session Processes as Morphisms. The Art of Modelling Computational Systems 2019: 101-117 - [c144]Rumyana Neykova, Nobuko Yoshida:
Featherweight Scribble. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 236-259 - [c143]Julien Lange, Nobuko Yoshida:
Verifying Asynchronous Interactions via Communicating Session Automata. CAV (1) 2019: 97-117 - [c142]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019: 38:1-38:16 - [c141]Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey:
Motion Session Types for Robotic Interactions (Brave New Idea Paper). ECOOP 2019: 28:1-28:27 - [c140]Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP 2019: 583-610 - [c139]Simon Castellan, Nobuko Yoshida:
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). FoSSaCS 2019: 150-168 - [c138]Alceste Scalas, Nobuko Yoshida, Elias Benussi:
Verifying message-passing programs with dependent behavioural types. PLDI 2019: 502-516 - [c137]Alceste Scalas, Nobuko Yoshida, Elias Benussi:
Effpi: verified message-passing programs in Dotty. SCALA@ECOOP 2019: 27-31 - [c136]Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE 2019: 1124-1128 - [c135]Assel Altayeva, Nobuko Yoshida:
Service Equivalence via Multiparty Session Type Isomorphisms. PLACES@ETAPS 2019: 1-11 - [c134]Jonathan King, Nicholas Ng, Nobuko Yoshida:
Multiparty Session Type-safe Web Development with Static Linearity. PLACES@ETAPS 2019: 35-46 - [e5]Jorge A. Pérez, Nobuko Yoshida:
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11535, Springer 2019, ISBN 978-3-030-21758-7 [contents] - [i15]Julien Lange, Nobuko Yoshida:
Verifying Asynchronous Interactions via Communicating Session Automata. CoRR abs/1901.09606 (2019) - [i14]Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure Bitcoin contracts with BitML. CoRR abs/1905.07639 (2019) - [i13]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR abs/1907.00421 (2019) - 2018
- [j45]Alceste Scalas, Nobuko Yoshida:
Multiparty session types, beyond duality. J. Log. Algebraic Methods Program. 97: 55-84 (2018) - [j44]Bernardo Toninho, Nobuko Yoshida:
Interconnectability of Session-Based Logical Processes. ACM Trans. Program. Lang. Syst. 40(4): 17:1-17:42 (2018) - [c133]Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal:
A session type provider: compile-time API generation of distributed protocols with refinements in F#. CC 2018: 128-138 - [c132]Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. ESOP 2018: 827-855 - [c131]Bernardo Toninho, Nobuko Yoshida:
Depending on Session-Typed Processes. FoSSaCS 2018: 128-145 - [c130]Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
A static verification framework for message passing in Go using behavioural types. ICSE 2018: 1137-1148 - [c129]Romain Demangeon, Nobuko Yoshida:
Causal Computational Complexity of Distributed Processes. LICS 2018: 344-353 - [c128]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Event Structure Semantics of (controlled) Reversible CCS. RC 2018: 102-122 - [c127]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS 2018: 87-103 - [i12]Bernardo Toninho, Nobuko Yoshida:
Depending on Session-Typed Processes. CoRR abs/1801.08114 (2018) - [i11]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A Parametric Framework for Reversible π-Calculi. CoRR abs/1807.11800 (2018) - 2017
- [j43]Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida:
Multiparty session types as coherence proofs. Acta Informatica 54(3): 243-269 (2017) - [j42]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic bisimulation for higher-order session processes. Acta Informatica 54(3): 271-341 (2017) - [j41]Rumyana Neykova, Nobuko Yoshida:
Multiparty Session Actors. Log. Methods Comput. Sci. 13(1) (2017) - [j40]Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3(2): 03:1-03:2 (2017) - [j39]Rumyana Neykova, Laura Bocchi, Nobuko Yoshida:
Timed runtime monitoring for multiparty conversations. Formal Aspects Comput. 29(5): 877-910 (2017) - [j38]Dominic A. Orchard, Nobuko Yoshida:
Guest editors' foreword. J. Log. Algebraic Methods Program. 90: 1 (2017) - [j37]Bernardo Toninho, Nobuko Yoshida:
Certifying data in multiparty session types. J. Log. Algebraic Methods Program. 90: 61-83 (2017) - [j36]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. Log. Methods Comput. Sci. 13(2) (2017) - [j35]Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida:
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669: 33-58 (2017) - [c126]Rumyana Neykova, Nobuko Yoshida:
Let it recover: multiparty protocol-induced recovery. CC 2017: 98-108 - [c125]Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A Session-Based Library with Polarities and Lenses. COORDINATION 2017: 99-118 - [c124]Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017: 24:1-24:31 - [c123]Raymond Hu, Nobuko Yoshida:
Explicit Connection Actions in Multiparty Session Types. FASE 2017: 116-133 - [c122]Julien Lange, Nobuko Yoshida:
On the Undecidability of Asynchronous Session Subtyping. FoSSaCS 2017: 441-457 - [c121]Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
Fencing off go: liveness and safety for channel-based programming. POPL 2017: 748-761 - [c120]Alceste Scalas, Nobuko Yoshida:
Multiparty Session Types, Beyond Duality (Abstract). PLACES@ETAPS 2017: 37-38 - [c119]Eva Graversen, Iain Phillips, Nobuko Yoshida:
Towards a Categorical Representation of Reversible Event Structures. PLACES@ETAPS 2017: 49-60 - [i10]Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. CoRR abs/1711.00878 (2017) - [i9]Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida:
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports 7(1): 158-189 (2017) - 2016
- [j34]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida:
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Log. Methods Comput. Sci. 12(1) (2016) - [j33]Alceste Scalas, Nobuko Yoshida:
Lightweight Session Programming in Scala (Artifact). Dagstuhl Artifacts Ser. 2(1): 11:1-11:2 (2016) - [j32]Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [j31]Kohei Honda, Nobuko Yoshida, Marco Carbone:
Multiparty Asynchronous Session Types. J. ACM 63(1): 9:1-9:67 (2016) - [j30]Sara Capecchi, Elena Giachino, Nobuko Yoshida:
Global escape in multiparty sessions. Math. Struct. Comput. Sci. 26(2): 156-205 (2016) - [j29]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016) - [j28]Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda:
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2): 303-364 (2016) - [c118]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods 2016: 155-172 - [c117]Bernardo Toninho, Nobuko Yoshida:
Certifying Data in Multiparty Session Types. A List of Successes That Can Change the World 2016: 433-458 - [c116]Nicholas Ng, Nobuko Yoshida:
Static deadlock detection for concurrent go by global session graph synthesis. CC 2016: 174-184 - [c115]Alceste Scalas, Nobuko Yoshida:
Lightweight Session Programming in Scala. ECOOP 2016: 21:1-21:28 - [c114]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016: 446-475 - [c113]Raymond Hu, Nobuko Yoshida:
Hybrid Session Verification Through Endpoint API Generation. FASE 2016: 401-418 - [c112]Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk:
EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits. FPL 2016: 1-4 - [c111]Dominic A. Orchard, Nobuko Yoshida:
Effects as sessions, sessions as effects. POPL 2016: 568-581 - [c110]Francesco Tiezzi, Nobuko Yoshida:
Reversing Single Sessions. RC 2016: 52-69 - [c109]Julien Lange, Nobuko Yoshida:
Characteristic Formulae for Session Types. TACAS 2016: 833-850 - [e4]Dominic A. Orchard, Nobuko Yoshida:
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 211, 2016 [contents] - [i8]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. CoRR abs/1610.00328 (2016) - [i7]Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). CoRR abs/1610.08843 (2016) - 2015
- [j27]Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46(3): 197-225 (2015) - [j26]Dimitris Mostrous, Nobuko Yoshida:
Session typing and asynchronous subtyping for the higher-order π-calculus. Inf. Comput. 241: 227-263 (2015) - [j25]Francesco Tiezzi, Nobuko Yoshida:
Reversible session-based pi-calculus. J. Log. Algebraic Methods Program. 84(5): 684-707 (2015) - [j24]Nicholas Ng, Nobuko Yoshida:
Pabble: parameterised Scribble. Serv. Oriented Comput. Appl. 9(3-4): 269-284 (2015) - [c108]Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida:
Protocols by Default - Safe MPI Code Generation Based on Session Types. CC 2015: 212-232 - [c107]Laura Bocchi, Julien Lange, Nobuko Yoshida:
Meeting Deadlines Together. CONCUR 2015: 283-296 - [c106]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic Bisimulation for Higher-Order Session Processes. CONCUR 2015: 398-411 - [c105]Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida:
Multiparty Session Types as Coherence Proofs. CONCUR 2015: 412-426 - [c104]Romain Demangeon, Nobuko Yoshida:
On the Expressiveness of Multiparty Sessions. FSTTCS 2015: 560-574 - [c103]Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Protocol-based verification of message-passing parallel programs. OOPSLA 2015: 280-298 - [c102]Julien Lange, Emilio Tuosto, Nobuko Yoshida:
From Communicating Machines to Graphical Choreographies. POPL 2015: 221-232 - [c101]Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015: 150-160 - [c100]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178 - [c99]Dominic A. Orchard, Nobuko Yoshida:
Using session types as an effect system. PLACES 2015: 1-13 - [c98]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [i6]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. CoRR abs/1502.02585 (2015) - [i5]Julien Lange, Nobuko Yoshida:
Characteristic Formulae for Session Types (extended version). CoRR abs/1510.06879 (2015) - [i4]Francesco Tiezzi, Nobuko Yoshida:
Reversing Single Sessions. CoRR abs/1510.07253 (2015) - 2014
- [j23]Dimitrios Kouzapas, Nobuko Yoshida:
Globally Governed Session Semantics. Log. Methods Comput. Sci. 10(4) (2014) - [j22]Kohei Honda, Nobuko Yoshida, Martin Berger:
An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. 517: 75-101 (2014) - [c97]Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida:
Structuring Communication with Session Types. Concurrent Objects and Beyond 2014: 105-127 - [c96]Laura Bocchi, Weizhen Yang, Nobuko Yoshida:
Timed Multiparty Session Types. CONCUR 2014: 419-434 - [c95]Rumyana Neykova, Nobuko Yoshida:
Multiparty Session Actors. COORDINATION 2014: 131-146 - [c94]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida:
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE 2014: 1-16 - [c93]Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida:
Calculating communication costs with Sessions Types and Sizes. ICCSW 2014: 50-57 - [c92]Nicholas Ng, Nobuko Yoshida:
Pabble: Parameterised Scribble for Parallel Programming. PDP 2014: 707-714 - [c91]Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
On the Preciseness of Subtyping in Session Types. PPDP 2014: 135-146 - [c90]Kohei Honda, Nobuko Yoshida, Martin Berger:
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. RTA-TLCA 2014: 1-20 - [c89]Luca Fossati, Raymond Hu, Nobuko Yoshida:
Multiparty Session Nets. TGC 2014: 112-127 - [c88]Francesco Tiezzi, Nobuko Yoshida:
Towards Reversible Sessions. PLACES 2014: 17-24 - [c87]Rumyana Neykova, Laura Bocchi, Nobuko Yoshida:
Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014: 19-26 - [c86]Rumyana Neykova, Nobuko Yoshida:
Multiparty Session Actors. PLACES 2014: 32-37 - [i3]Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad:
Scaling Future Software: The Manycore Challenge. ERCIM News 2014(99) (2014) - 2013
- [c85]Dimitrios Kouzapas, Nobuko Yoshida:
Globally Governed Session Semantics. CONCUR 2013: 395-409 - [c84]Fabrizio Montesi, Nobuko Yoshida:
Compositional Choreographies. CONCUR 2013: 425-439 - [c83]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59 - [c82]Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida:
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013: 50-65 - [c81]Pierre-Malo Deniélou, Nobuko Yoshida:
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. ICALP (2) 2013: 174-186 - [c80]Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda:
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV 2013: 130-148 - [c79]Rumyana Neykova, Nobuko Yoshida, Raymond Hu:
SPY: Local Verification of Global Protocols. RV 2013: 358-363 - [c78]Nicholas Ng, Nobuko Yoshida, Wayne Luk:
Scalable Session Programming for Heterogeneous High-Performance Systems. SEFM Workshops 2013: 82-98 - [c77]Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng:
The Scribble Protocol Language. TGC 2013: 22-41 - [e3]Nobuko Yoshida, Wim Vanderbauwhede:
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 [contents] - [i2]Pierre-Malo Deniélou, Nobuko Yoshida:
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. CoRR abs/1304.1902 (2013) - 2012
- [j21]Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu:
Parameterised Multiparty Session Types. Log. Methods Comput. Sci. 8(4) (2012) - [j20]Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi:
Session types: towards safe and fast reconfigurable programming. SIGARCH Comput. Archit. News 40(5): 22-27 (2012) - [j19]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. 34(2): 8:1-8:78 (2012) - [c76]Luca Fossati, Kohei Honda, Nobuko Yoshida:
Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR 2012: 287-301 - [c75]Pierre-Malo Deniélou, Nobuko Yoshida:
Multiparty Session Types Meet Communicating Automata. ESOP 2012: 194-213 - [c74]Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein:
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES 2012: 124-141 - [c73]Silvia Crafa, Daniele Varacca, Nobuko Yoshida:
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012: 225-239 - [c72]Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Verification of MPI Programs Using Session Types. EuroMPI 2012: 291-293 - [c71]Laura Bocchi, Romain Demangeon, Nobuko Yoshida:
A Multiparty Multi-session Logic. TGC 2012: 97-111 - [c70]Nicholas Ng, Nobuko Yoshida, Kohei Honda:
Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS (50) 2012: 202-218 - 2011
- [j18]Kohei Honda, Nobuko Yoshida:
A Unified Theory of Program Logics: An Approach based on the π-Calculus. Comput. J. 54(1): 88-107 (2011) - [c69]Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis:
Safe Parallel Programming with Session Java. COORDINATION 2011: 110-126 - [c68]Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda:
On Asynchronous Session Semantics. FMOODS/FORTE 2011: 228-243 - [c67]Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida:
Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75 - [c66]Pierre-Malo Deniélou, Nobuko Yoshida:
Dynamic multirole session types. POPL 2011: 435-446 - [c65]Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida:
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC 2011: 25-45 - 2010
- [j17]Daniele Varacca, Nobuko Yoshida:
Typed event structures and the linear pi-calculus. Theor. Comput. Sci. 411(19): 1949-1973 (2010) - [c64]Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida:
A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176 - [c63]Pierre-Malo Deniélou, Nobuko Yoshida:
Buffered Communication Analysis in Distributed Multiparty Sessions. CONCUR 2010: 343-357 - [c62]Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda:
Type-Safe Eventful Sessions in Java. ECOOP 2010: 329-353 - [c61]Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu:
Parameterised Multiparty Session Types. FoSSaCS 2010: 128-145 - [c60]Sara Capecchi, Elena Giachino, Nobuko Yoshida:
Global Escape in Multiparty Sessions. FSTTCS 2010: 338-351 - [c59]Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou:
Secure Execution of Distributed Session Programs. PLACES 2010: 1-11 - [c58]Lasse Nielsen, Nobuko Yoshida, Kohei Honda:
Multiparty Symmetric Sum Types. EXPRESS 2010: 121-135
2000 – 2009
- 2009
- [j16]Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida:
Objects and session types. Inf. Comput. 207(5): 595-641 (2009) - [c57]Dimitris Mostrous, Nobuko Yoshida, Kohei Honda:
Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009: 316-332 - [c56]Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida:
On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570 - [c55]Marco Carbone, Nobuko Yoshida, Kohei Honda:
Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212 - [c54]Dimitris Mostrous, Nobuko Yoshida:
Session-Based Communication Optimisation for Higher-Order Mobile Processes. TLCA 2009: 203-218 - [c53]Andi Bejleri, Raymond Hu, Nobuko Yoshida:
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance. PLACES 2009: 17-29 - [e2]Vasco T. Vasconcelos, Nobuko Yoshida:
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008. Electronic Notes in Theoretical Computer Science 241, Elsevier 2009 [contents] - 2008
- [j15]Nobuko Yoshida, Kohei Honda, Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State. Log. Methods Comput. Sci. 4(4) (2008) - [c52]Kohei Honda, Nobuko Yoshida:
A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. 2008: 259-274 - [c51]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417 - [c50]Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008: 418-433 - [c49]Raymond Hu, Nobuko Yoshida, Kohei Honda:
Session-Based Distributed Programming in Java. ECOOP 2008: 516-541 - [c48]Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda:
Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246 - [c47]Martin Berger, Kohei Honda, Nobuko Yoshida:
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111 - [c46]Kohei Honda, Nobuko Yoshida, Marco Carbone:
Multiparty asynchronous session types. POPL 2008: 273-284 - [c45]Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Preface. PLACES@DisCoTec 2008: 1-2 - [c44]Andi Bejleri, Nobuko Yoshida:
Synchronous Multiparty Session Types. PLACES@DisCoTec 2008: 3-33 - [c43]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Type-Directed Compilation for Multicore Programming. PLACES@DisCoTec 2008: 101-111 - [c42]Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida:
A Symbolic Semantics for a Calculus for Service-Oriented Computing. PLACES@DisCoTec 2008: 135-164 - [i1]Nobuko Yoshida, Kohei Honda, Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State. CoRR abs/0806.2448 (2008) - 2007
- [j14]Kohei Honda, Nobuko Yoshida, Marco Carbone:
Web Services, Mobile Processes and Types. Bull. EATCS 91: 160-185 (2007) - [j13]Martin Berger, Kohei Honda, Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. 17(4-5): 473-546 (2007) - [j12]Nobuko Yoshida, Kohei Honda, Martin Berger:
Linearity and bisimulation. J. Log. Algebraic Methods Program. 72(2): 207-238 (2007) - [j11]Alexander Joseph Ahern, Nobuko Yoshida:
Formalising Java RMI with explicit code mobility. Theor. Comput. Sci. 389(3): 341-410 (2007) - [j10]Kohei Honda, Nobuko Yoshida:
A uniform type structure for secure information flow. ACM Trans. Program. Lang. Syst. 29(6): 31 (2007) - [c41]Martin Berger, Nobuko Yoshida:
Timed, Distributed, Probabilistic, Typed Processes. APLAS 2007: 158-174 - [c40]Silvia Crafa, Daniele Varacca, Nobuko Yoshida:
Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332 - [c39]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17 - [c38]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31 - [c37]Nobuko Yoshida, Kohei Honda, Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377 - [c36]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida:
On Progress for Structured Communications. TGC 2007: 257-275 - [c35]Dimitris Mostrous, Nobuko Yoshida:
Two Session Typing Systems for Higher-Order Mobile Processes. TLCA 2007: 321-335 - [c34]Daniele Varacca, Nobuko Yoshida:
Probabilistic pi-Calculus and Event Structures. QAPL 2007: 147-166 - 2006
- [j9]Philippa Gardner, Nobuko Yoshida:
Editorial. Theor. Comput. Sci. 358(2-3): 149 (2006) - [c33]Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou:
Session Types for Object-Oriented Languages. ECOOP 2006: 328-352 - [c32]Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245 - [c31]Kohei Honda, Martin Berger, Nobuko Yoshida:
Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371 - [c30]Nobuko Yoshida, Vasco Thudichum Vasconcelos:
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. SecReT@ICALP 2006: 73-93 - [c29]Marco Carbone, Kohei Honda, Nobuko Yoshida:
Theoretical Aspects of Communication-Centred Programming. LIX 2006: 125-133 - [c28]Marco Carbone, Kohei Honda, Nobuko Yoshida:
A Calculus of Global Interaction based on Session Types. DCM@ICALP 2006: 127-151 - [c27]Daniele Varacca, Nobuko Yoshida:
Typed Event Structures and the pi-Calculus: Extended Abstract. MFPS 2006: 373-397 - 2005
- [j8]Martin Berger, Kohei Honda, Nobuko Yoshida:
Genericity and the pi-calculus. Acta Informatica 42(2-3): 83-141 (2005) - [j7]Matthew Hennessy, Julian Rathke, Nobuko Yoshida:
safeDpi: a language for controlling mobile code. Acta Informatica 42(4-5): 227-290 (2005) - [j6]Kohei Honda, Nobuko Yoshida:
Noninterference through flow analysis. J. Funct. Program. 15(2): 293-349 (2005) - [c26]Martin Berger, Kohei Honda, Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293 - [c25]Kohei Honda, Nobuko Yoshida, Martin Berger:
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279 - [c24]Alexander Joseph Ahern, Nobuko Yoshida:
Formalising Java RMI with explicit code mobility. OOPSLA 2005: 403-422 - [c23]Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou:
A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318 - [c22]Nobuko Yoshida:
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness. APC 25 2005: 333-340 - 2004
- [j5]Nobuko Yoshida, Martin Berger, Kohei Honda:
Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004) - [c21]Andrew Phillips, Nobuko Yoshida, Susan Eisenbach:
A Distributed Abstract Machine for Boxed Ambient Calculi. ESOP 2004: 155-170 - [c20]Matthew Hennessy, Julian Rathke, Nobuko Yoshida:
safeDpi: A Language for Controlling Mobile Code. FoSSaCS 2004: 241-256 - [c19]Nobuko Yoshida:
Channel dependent types for higher-order mobile processes. POPL 2004: 147-160 - [c18]Kohei Honda, Nobuko Yoshida:
A compositional logic for polymorphic higher-order functions. PPDP 2004: 191-202 - [e1]Philippa Gardner, Nobuko Yoshida:
CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. Lecture Notes in Computer Science 3170, Springer 2004, ISBN 3-540-22940-X [contents] - 2003
- [c17]Martin Berger, Kohei Honda, Nobuko Yoshida:
Genericity and the pi-Calculus. FoSSaCS 2003: 103-119 - 2002
- [j4]Nobuko Yoshida, Matthew Hennessy:
Assigning Types to Processes. Inf. Comput. 174(2): 143-179 (2002) - [j3]Nobuko Yoshida:
Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators. Theor. Comput. Sci. 274(1-2): 231-276 (2002) - [c16]Nobuko Yoshida, Kohei Honda, Martin Berger:
Linearity and Bisimulation. FoSSaCS 2002: 417-434 - [c15]Kohei Honda, Nobuko Yoshida:
A uniform type structure for secure information flow. POPL 2002: 81-92 - [c14]José-Luis Vivas, Nobuko Yoshida:
Dynamic Channel Screening in the Higher Order pi-Calculus. F-WAN@ICALP 2002: 170-184 - 2001
- [c13]Nobuko Yoshida, Martin Berger, Kohei Honda:
Strong Normalisation in the pi-Calculus. LICS 2001: 311-322 - [c12]Martin Berger, Kohei Honda, Nobuko Yoshida:
Sequentiality and the pi-Calculus. TLCA 2001: 29-45 - 2000
- [c11]Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199 - [c10]Nobuko Yoshida, Matthew Hennessy:
Assigning Types to Processes. LICS 2000: 334-345
1990 – 1999
- 1999
- [j2]Kohei Honda, Nobuko Yoshida:
Game-Theoretic Analysis of Call-by-Value Computation. Theor. Comput. Sci. 221(1-2): 393-456 (1999) - [c9]Nobuko Yoshida, Matthew Hennessy:
Suptyping and Locality in Distributed Higher Order Processes (extended abstract). CONCUR 1999: 557-572 - 1998
- [c8]Nobuko Yoshida:
Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). CONCUR 1998: 131-146 - 1997
- [c7]Kohei Honda, Nobuko Yoshida:
Game Theoretic Analysis of Call-by-Value Computation. ICALP 1997: 225-236 - 1996
- [c6]Nobuko Yoshida:
Graph Types for Monadic Mobile Processes. FSTTCS 1996: 371-386 - 1995
- [j1]Kohei Honda, Nobuko Yoshida:
On Reduction-Based Process Semantics. Theor. Comput. Sci. 151(2): 437-486 (1995) - 1994
- [c5]Kohei Honda, Nobuko Yoshida:
Combinatory Representation of Mobile Processes. POPL 1994: 348-360 - [c4]Kohei Honda, Nobuko Yoshida:
Replication in Concurrent Combinators. TACS 1994: 786-805 - [c3]Nobuko Yoshida:
Graph Notation for Concurrent Combinators. Theory and Practice of Parallel Programming 1994: 393-412 - 1993
- [c2]Nobuko Yoshida:
Optimal Reduction in Weak-λ-calculus with Shared Environments. FPCA 1993: 243-254 - [c1]Kohei Honda, Nobuko Yoshida:
On Reduction-Based Semantics. FSTTCS 1993: 373-387
Coauthor Index
[j35] [j31] [j28] [j27] [j22] [c97] [c90] [c82] [c80] [j19] [c76] [c72] [c70] [j18] [c68] [c67] [c65] [c64] [c62] [c58] [c57] [c55] [j15] [c52] [c51] [c49] [c48] [c47] [c46] [c43] [i1] [j14] [j13] [j12] [j10] [c39] [c37] [c31] [c29] [c28] [j8] [j6] [c26] [c25] [j5] [c18] [c17] [c16] [c15] [c13] [c12] [c11] [j2] [c7] [j1] [c5] [c4] [c1]
Vasco Thudichum Vasconcelos
aka: Vasco T. Vasconcelos
aka: Vasco T. Vasconcelos
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-06 19:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
