Nobuko Yoshida

327 papers A* 17A 28B 45C 23Misc 3Journal 132Unranked 74
YearRankTypeTitle / Venue / Authors
2026 — conf
Asynchronous Global Protocols, Precisely.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Kai Pischke, Nobuko Yoshida
2026 — conf
Denotational reasoning for asynchronous multiparty session types.
ESOP (2)
Dylan McDermott, Nobuko Yoshida
2026 — conf
Type Congruence, Duality and Iso-Recursive Binary Session Types.
Concurrent Programming, Open Systems and Formal Methods
Marco Giunti, Nobuko Yoshida
2025 J jnl
Asynchronous Global Protocols, Precisely: Full Proofs.
CoRR
Kai Pischke, Nobuko Yoshida
2025 J jnl
Checkpoint-based rollback recovery in session programming.
Log. Methods Comput. Sci.
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2025 J jnl
Crash-Stop Failures in Asynchronous Multiparty Session Types.
Log. Methods Comput. Sci.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2025 C conf
Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $.
RC
Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida
2025 B conf
Formalising Subject Reduction and Progress for Multiparty Session Processes.
ITP
Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida
2025 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs.
IEEE Trans. Software Eng.
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, Linhai Song
2025 J jnl
Iso-Recursive Multiparty Sessions and their Automated Verification - Technical Report.
CoRR
Marco Giunti, Nobuko Yoshida
2025 — conf
Iso-Recursive Multiparty Sessions and their Automated Verification.
ESOP (1)
Marco Giunti, Nobuko Yoshida
2025 C conf
On Asynchronous Multiparty Session Types for Federated Learning.
ICTAC
Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2025 J jnl
Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types.
CoRR
Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2025 C conf
RevMiGo: Reversible Channel-Based Communication in Go Language.
RC
Shunya Oguchi, Shoji Yuen, Nobuko Yoshida
2025 J jnl
Special Issue of PLACES 2022.
Inf. Comput.
Marco Carbone, Nobuko Yoshida
2025 J jnl
Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types.
Proc. ACM Program. Lang.
Thien Udomsrirungruang, Nobuko Yoshida
2025 — conf
Unreliability in Practical Subclasses of Communicating Systems.
FSTTCS
Amrita Suresh, Nobuko Yoshida
2025 J jnl
Unreliability in Practical Subclasses of Communicating Systems.
CoRR
Amrita Suresh, Nobuko Yoshida
2024 B conf
Completeness of Asynchronous Session Tree Subtyping in Coq.
ITP
Burak Ekici, Nobuko Yoshida
2024 A conf
Fearless Asynchronous Communications with Timed Multiparty Session Protocols.
ECOOP
Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida
2024 J jnl
Fearless Asynchronous Communications with Timed Multiparty Session Protocols.
CoRR
Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida
2024 J jnl
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact).
Dagstuhl Artifacts Ser.
Nicolas Lagaillardie, Ping Hou, Nobuko Yoshida
2024 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs.
CoRR
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang
2024 J jnl
Less is More Revisit.
CoRR
Nobuko Yoshida, Ping Hou
2024 — ch.
Less is More Revisited: Association with Global Multiparty Session Types.
The Practice of Formal Methods (II)
Nobuko Yoshida, Ping Hou
2024 J jnl
Mixed choice in session types.
Inf. Comput.
Kirstin Peters, Nobuko Yoshida
2024 C conf
On the Preciseness of Subtyping in Session Types: 10 Years Later.
PPDP
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2024 — ch.
Programming Language Implementations with Multiparty Session Types.
Active Object Languages: Current Research Trends
Nobuko Yoshida
2024 Misc conf
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types.
TASE
Ari Hernawan, Nobuko Yoshida
2024 J jnl
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact).
Dagstuhl Artifacts Ser.
Martin Vassor, Nobuko Yoshida
2024 A conf
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation.
ECOOP
Martin Vassor, Nobuko Yoshida
2024 J jnl
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation.
CoRR
Martin Vassor, Nobuko Yoshida
2024 J jnl
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report).
CoRR
Kirstin Peters, Nobuko Yoshida
2024 A* conf
Separation and Encodability in Mixed Choice Multiparty Sessions.
LICS
Kirstin Peters, Nobuko Yoshida
2024 C conf
The Concurrent Calculi Formalisation Benchmark.
COORDINATION
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
2024 J jnl
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.
CoRR
Thien Udomsrirungruang, Nobuko Yoshida
2024 — conf
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.
PLACES@ETAPS
Thien Udomsrirungruang, Nobuko Yoshida
2024 J jnl
Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types.
CoRR
Thien Udomsrirungruang, Nobuko Yoshida
2023 J jnl
Causal computational complexity of distributed processes.
Inf. Comput.
Romain Demangeon, Nobuko Yoshida
2023 J jnl
Checkpoint-based rollback recovery in session programming.
CoRR
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2023 J jnl
Crash-Stop Failures in Asynchronous Multiparty Session Types.
CoRR
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).
Dagstuhl Artifacts Ser.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 A conf
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
ECOOP
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
CoRR
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Dynamically Updatable Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser.
David Castro-Perez, Nobuko Yoshida
2023 A conf
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.
ECOOP
David Castro-Perez, Nobuko Yoshida
2023 J jnl
Hybrid Multiparty Session Types - Full Version.
CoRR
Lorenzo Gheri, Nobuko Yoshida
2023 J jnl
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection.
Proc. ACM Program. Lang.
Lorenzo Gheri, Nobuko Yoshida
2023 C conf
Multicompatibility for Multiparty-Session Composition.
PPDP
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
2023 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
ACM Trans. Comput. Log.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2023 C conf
Rollback Recovery in Session-Based Programming.
COORDINATION
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
2022 J jnl
A Type Discipline for Message Passing Parallel Programs.
ACM Trans. Program. Lang. Syst.
Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida
2022 J jnl
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.
J. Log. Algebraic Methods Program.
Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida
2022 B conf
Deadlock-free asynchronous message reordering in rust with multiparty session types.
PPoPP
Zak Cutner, Nobuko Yoshida, Martin Vassor
2022 A conf
Design-By-Contract for Flexible Multiparty Session Protocols.
ECOOP
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser.
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.
CoRR
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Event structures for the reversible early internal
J. Log. Algebraic Methods Program.
Eva Graversen, Iain Phillips, Nobuko Yoshida
2022 J jnl
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).
CoRR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2022 B conf
Generalised Multiparty Session Types with Crash-Stop Failures.
CONCUR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2022 J jnl
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid.
CoRR
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
2022 J jnl
Generic go to go: dictionary-passing, monomorphisation, and hybrid.
Proc. ACM Program. Lang.
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
2022 J jnl
Introduction to the Special Issue on ESOP 2021.
ACM Trans. Program. Lang. Syst.
Nobuko Yoshida
2022 J jnl
On the Expressiveness of Mixed Choice Sessions (Technical Report).
CoRR
Kirstin Peters, Nobuko Yoshida
2022 — conf
On the Expressiveness of Mixed Choice Sessions.
EXPRESS/SOS
Kirstin Peters, Nobuko Yoshida
2022 J jnl
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).
Dagstuhl Artifacts Ser.
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2022 A conf
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.
ECOOP
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2022 J jnl
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types.
CoRR
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2021 J jnl
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.
Log. Methods Comput. Sci.
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2021 B conf
CONCUR Test-Of-Time Award 2021 (Invited Paper).
CONCUR
Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
2021 B conf
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.
FCT
Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira
2021 J jnl
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.
CoRR
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2021 B conf
Communication-safe web programming in TypeScript with routed multiparty session types.
CC
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2021 J jnl
Deadlock-free asynchronous message reordering in Rust with multiparty session types.
CoRR
Zak Cutner, Nobuko Yoshida, Martin Vassor
2021 J jnl
Event structure semantics of (controlled) reversible CCS.
J. Log. Algebraic Methods Program.
Eva Graversen, Iain Phillips, Nobuko Yoshida
2021 J jnl
Interviews with the 2021 CONCUR Test-of-Time Award Recipients.
Bull. EATCS
Luca Aceto, Nathalie Bertrand, Nobuko Yoshida
2021 J jnl
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.
ACM Trans. Program. Lang. Syst.
Bernardo Toninho, Nobuko Yoshida
2021 J jnl
Precise subtyping for asynchronous multiparty sessions.
Proc. ACM Program. Lang.
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2021 A ed.
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
ESOP
Nobuko Yoshida
2021 C conf
Safe Session-Based Asynchronous Coordination in Rust.
COORDINATION
Zak Cutner, Nobuko Yoshida
2021 J jnl
Zooid: a DSL for Certified Multiparty Computation.
CoRR
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2021 A* conf
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.
PLDI
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2020 Misc conf
A Very Gentle Introduction to Multiparty Session Types.
ICDCIT
Nobuko Yoshida, Lorenzo Gheri
2020 J jnl
A parametric framework for reversible
Inf. Comput.
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2020 J jnl
CAMP: Cost-Aware Multiparty Session Protocols.
CoRR
David Castro-Perez, Nobuko Yoshida
2020 J jnl
CAMP: cost-aware multiparty session protocols.
Proc. ACM Program. Lang.
David Castro-Perez, Nobuko Yoshida
2020 B conf
Compiling first-order functions to session-typed parallel code.
CC
David Castro-Perez, Nobuko Yoshida
2020 — conf
EMTST: Engineering the Meta-theory of Session Types.
TACAS (2)
David Castro-Perez, Francisco Ferreira, Nobuko Yoshida
2020 C conf
Event Structures for the Reversible Early Internal π-Calculus.
RC
Eva Graversen, Iain Phillips, Nobuko Yoshida
2020 J jnl
Event structures for the reversible early internal Pi-calculus.
CoRR
Eva Graversen, Iain Phillips, Nobuko Yoshida
2020 A conf
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.
ESOP
Sung-Shik Jongmans, Nobuko Yoshida
2020 J jnl
Featherweight Go.
CoRR
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 J jnl
Featherweight go.
Proc. ACM Program. Lang.
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 J jnl
Game Semantics: Easy as Pi.
CoRR
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
2020 — conf
Generating Interactive WebSocket Applications in TypeScript.
PLACES@ETAPS
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2020 C conf
Implementing Multiparty Session Types in Rust.
COORDINATION
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
2020 J jnl
Multiparty Motion Coordination: From Choreographies to Robotics Programs.
CoRR
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
2020 A conf
Multiparty Session Programming With Global Protocol Combinators.
ECOOP
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Multiparty Session Programming with Global Protocol Combinators (Artifact).
Dagstuhl Artifacts Ser.
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Multiparty Session Programming with Global Protocol Combinators.
CoRR
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Multiparty motion coordination: from choreographies to robotics programs.
Proc. ACM Program. Lang.
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
2020 J jnl
Precise Subtyping for Asynchronous Multiparty Sessions.
CoRR
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2020 J jnl
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).
Dagstuhl Artifacts Ser.
Julia Gabet, Nobuko Yoshida
2020 J jnl
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).
CoRR
Julia Gabet, Nobuko Yoshida
2020 A conf
Static Race Detection and Mutex Safety and Liveness for Go Programs.
ECOOP
Julia Gabet, Nobuko Yoshida
2020 J jnl
Statically Verified Refinements for Multiparty Protocols.
CoRR
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 J jnl
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang.
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 C conf
Towards a Formal Account for Software Transactional Memory.
RC
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2019 J jnl
A Sound Algorithm for Asynchronous Session Subtyping (extended version).
CoRR
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019 B conf
A Sound Algorithm for Asynchronous Session Subtyping.
CONCUR
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019 A conf
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.
ESOP
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2019 B conf
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).
FoSSaCS
Simon Castellan, Nobuko Yoshida
2019 J jnl
Developing secure Bitcoin contracts with BitML.
CoRR
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
2019 — conf
Developing secure bitcoin contracts with BitML.
ESEC/SIGSOFT FSE
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
2019 J jnl
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang.
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
2019 J jnl
Dynamic Deadlock Verification for General Barrier Synchronisation.
ACM Trans. Program. Lang. Syst.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
2019 — conf
Effpi: verified message-passing programs in Dotty.
SCALA@ECOOP
Alceste Scalas, Nobuko Yoshida, Elias Benussi
2019 — conf
Featherweight Scribble.
Models, Languages, and Tools for Concurrent and Distributed Programming
Rumyana Neykova, Nobuko Yoshida
2019 C ed.
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
FORTE
Jorge A. Pérez, Nobuko Yoshida
2019 J jnl
Less is more: multiparty session types revisited.
Proc. ACM Program. Lang.
Alceste Scalas, Nobuko Yoshida
2019 A conf
Motion Session Types for Robotic Interactions (Brave New Idea Paper).
ECOOP
Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey
2019 — conf
Multiparty Session Type-safe Web Development with Static Linearity.
PLACES@ETAPS
Jonathan King, Nicholas Ng, Nobuko Yoshida
2019 J jnl
On the relative expressiveness of higher-order session processes.
Inf. Comput.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2019 — conf
Polymorphic Session Processes as Morphisms.
The Art of Modelling Computational Systems
Bernardo Toninho, Nobuko Yoshida
2019 J jnl
Precise subtyping for synchronous multiparty sessions.
J. Log. Algebraic Methods Program.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
2019 — conf
Service Equivalence via Multiparty Session Type Isomorphisms.
PLACES@ETAPS
Assel Altayeva, Nobuko Yoshida
2019 J jnl
Session-ocaml: A session-based library with polarities and lenses.
Sci. Comput. Program.
Keigo Imai, Nobuko Yoshida, Shoji Yuen
2019 — conf
Towards Bidirectional Synchronization Between Communicating Processes and Session Types.
BigComp
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
2019 J jnl
Towards a categorical representation of reversible event structures.
J. Log. Algebraic Methods Program.
Eva Graversen, Iain Phillips, Nobuko Yoshida
2019 J jnl
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.
Proc. ACM Program. Lang.
Simon Castellan, Nobuko Yoshida
2019 — conf
Verifying Asynchronous Interactions via Communicating Session Automata.
CAV (1)
Julien Lange, Nobuko Yoshida
2019 J jnl
Verifying Asynchronous Interactions via Communicating Session Automata.
CoRR
Julien Lange, Nobuko Yoshida
2019 A* conf
Verifying message-passing programs with dependent behavioural types.
PLDI
Alceste Scalas, Nobuko Yoshida, Elias Benussi
2018 — conf
A Parametric Framework for Reversible Pi-Calculi.
EXPRESS/SOS
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2018 J jnl
A Parametric Framework for Reversible π-Calculi.
CoRR
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
2018 B conf
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
CC
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal
2018 A* conf
A static verification framework for message passing in Go using behavioural types.
ICSE
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2018 A* conf
Causal Computational Complexity of Distributed Processes.
LICS
Romain Demangeon, Nobuko Yoshida
2018 B conf
Depending on Session-Typed Processes.
FoSSaCS
Bernardo Toninho, Nobuko Yoshida
2018 J jnl
Depending on Session-Typed Processes.
CoRR
Bernardo Toninho, Nobuko Yoshida
2018 C conf
Event Structure Semantics of (controlled) Reversible CCS.
RC
Eva Graversen, Iain Phillips, Nobuko Yoshida
2018 J jnl
Interconnectability of Session-Based Logical Processes.
ACM Trans. Program. Lang. Syst.
Bernardo Toninho, Nobuko Yoshida
2018 J jnl
Multiparty session types, beyond duality.
J. Log. Algebraic Methods Program.
Alceste Scalas, Nobuko Yoshida
2018 A conf
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings.
ESOP
Bernardo Toninho, Nobuko Yoshida
2017 J jnl
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
Dagstuhl Artifacts Ser.
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 A conf
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
ECOOP
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 J jnl
Certifying data in multiparty session types.
J. Log. Algebraic Methods Program.
Bernardo Toninho, Nobuko Yoshida
2017 J jnl
Characteristic bisimulation for higher-order session processes.
Acta Informatica
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2017 B conf
Explicit Connection Actions in Multiparty Session Types.
FASE
Raymond Hu, Nobuko Yoshida
2017 A* conf
Fencing off go: liveness and safety for channel-based programming.
POPL
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2017 J jnl
Guest editors' foreword.
J. Log. Algebraic Methods Program.
Dominic A. Orchard, Nobuko Yoshida
2017 B conf
Let it recover: multiparty protocol-induced recovery.
CC
Rumyana Neykova, Nobuko Yoshida
2017 J jnl
Monitoring networks through multiparty session types.
Theor. Comput. Sci.
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2017 J jnl
Multiparty Session Actors.
Log. Methods Comput. Sci.
Rumyana Neykova, Nobuko Yoshida
2017 — conf
Multiparty Session Types, Beyond Duality (Abstract).
PLACES@ETAPS
Alceste Scalas, Nobuko Yoshida
2017 J jnl
Multiparty session types as coherence proofs.
Acta Informatica
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2017 J jnl
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.
CoRR
Bernardo Toninho, Nobuko Yoshida
2017 J jnl
On the Preciseness of Subtyping in Session Types.
Log. Methods Comput. Sci.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
2017 B conf
On the Undecidability of Asynchronous Session Subtyping.
FoSSaCS
Julien Lange, Nobuko Yoshida
2017 C conf
Session-ocaml: A Session-Based Library with Polarities and Lenses.
COORDINATION
Keigo Imai, Nobuko Yoshida, Shoji Yuen
2017 J jnl
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).
Dagstuhl Reports
Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
2017 J jnl
Timed runtime monitoring for multiparty conversations.
Formal Aspects Comput.
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
2017 — conf
Towards a Categorical Representation of Reversible Event Structures.
PLACES@ETAPS
Eva Graversen, Iain Phillips, Nobuko Yoshida
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
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
2016 — conf
Certifying Data in Multiparty Session Types.
A List of Successes That Can Change the World
Bernardo Toninho, Nobuko Yoshida
2016 A conf
Characteristic Formulae for Session Types.
TACAS
Julien Lange, Nobuko Yoshida
2016 — conf
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
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2016 B conf
EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.
FPL
Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk
2016 A* conf
Effects as sessions, sessions as effects.
POPL
Dominic A. Orchard, Nobuko Yoshida
2016 J jnl
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).
CoRR
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida
2016 J jnl
Global escape in multiparty sessions.
Math. Struct. Comput. Sci.
Sara Capecchi, Elena Giachino, Nobuko Yoshida
2016 J jnl
Global progress for dynamically interleaved multiparty sessions.
Math. Struct. Comput. Sci.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani
2016 B conf
Hybrid Session Verification Through Endpoint API Generation.
FASE
Raymond Hu, Nobuko Yoshida
2016 J jnl
Lightweight Session Programming in Scala (Artifact).
Dagstuhl Artifacts Ser.
Alceste Scalas, Nobuko Yoshida
2016 A conf
Lightweight Session Programming in Scala.
ECOOP
Alceste Scalas, Nobuko Yoshida
2016 J jnl
Multiparty Asynchronous Session Types.
J. ACM
Kohei Honda, Nobuko Yoshida, Marco Carbone
2016 J jnl
On asynchronous eventful session semantics.
Math. Struct. Comput. Sci.
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda
2016 J jnl
On the Preciseness of Subtyping in Session Types.
CoRR
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
2016 A conf
On the Relative Expressiveness of Higher-Order Session Processes.
ESOP
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2016 — ed.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016.
PLACES
Dominic A. Orchard, Nobuko Yoshida
2016 C conf
Reversing Single Sessions.
RC
Francesco Tiezzi, Nobuko Yoshida
2016 B conf
Static deadlock detection for concurrent go by global session graph synthesis.
CC
Nicholas Ng, Nobuko Yoshida
2016 J jnl
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Log. Methods Comput. Sci.
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
2015 — conf
A Gentle Introduction to Multiparty Asynchronous Session Types.
SFM
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
2015 B conf
Characteristic Bisimulation for Higher-Order Session Processes.
CONCUR
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2015 J jnl
Characteristic Formulae for Session Types (extended version).
CoRR
Julien Lange, Nobuko Yoshida
2015 J jnl
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.
CoRR
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2015 B conf
Dynamic deadlock verification for general barrier synchronisation.
PPoPP
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
2015 A* conf
From Communicating Machines to Graphical Choreographies.
POPL
Julien Lange, Emilio Tuosto, Nobuko Yoshida
2015 B conf
Meeting Deadlines Together.
CONCUR
Laura Bocchi, Julien Lange, Nobuko Yoshida
2015 B conf
Multiparty Session Types as Coherence Proofs.
CONCUR
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2015 — conf
On the Expressiveness of Multiparty Sessions.
FSTTCS
Romain Demangeon, Nobuko Yoshida
2015 J jnl
Pabble: parameterised Scribble.
Serv. Oriented Comput. Appl.
Nicholas Ng, Nobuko Yoshida
2015 J jnl
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods Syst. Des.
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2015 — conf
Precise subtyping for synchronous multiparty sessions.
PLACES
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2015 A conf
Protocol-based verification of message-passing parallel programs.
OOPSLA
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2015 B conf
Protocols by Default - Safe MPI Code Generation Based on Session Types.
CC
Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida
2015 J jnl
Reversible session-based pi-calculus.
J. Log. Algebraic Methods Program.
Francesco Tiezzi, Nobuko Yoshida
2015 J jnl
Reversing Single Sessions.
CoRR
Francesco Tiezzi, Nobuko Yoshida
2015 J jnl
Session typing and asynchronous subtyping for the higher-order π-calculus.
Inf. Comput.
Dimitris Mostrous, Nobuko Yoshida
2015 — conf
Using session types as an effect system.
PLACES
Dominic A. Orchard, Nobuko Yoshida
2014 J jnl
An observationally complete program logic for imperative higher-order functions.
Theor. Comput. Sci.
Kohei Honda, Nobuko Yoshida, Martin Berger
2014 — conf
Calculating communication costs with Sessions Types and Sizes.
ICCSW
Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida
2014 J jnl
Globally Governed Session Semantics.
Log. Methods Comput. Sci.
Dimitrios Kouzapas, Nobuko Yoshida
2014 C conf
Multiparty Session Actors.
COORDINATION
Rumyana Neykova, Nobuko Yoshida
2014 — conf
Multiparty Session Actors.
PLACES
Rumyana Neykova, Nobuko Yoshida
2014 — conf
Multiparty Session Nets.
TGC
Luca Fossati, Raymond Hu, Nobuko Yoshida
2014 C conf
On the Preciseness of Subtyping in Session Types.
PPDP
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2014 C conf
Pabble: Parameterised Scribble for Parallel Programming.
PDP
Nicholas Ng, Nobuko Yoshida
2014 — conf
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus.
RTA-TLCA
Kohei Honda, Nobuko Yoshida, Martin Berger
2014 J jnl
Scaling Future Software: The Manycore Challenge.
ERCIM News
Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad
2014 — conf
Structuring Communication with Session Types.
Concurrent Objects and Beyond
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2014 B conf
Timed Multiparty Session Types.
CONCUR
Laura Bocchi, Weizhen Yang, Nobuko Yoshida
2014 — conf
Timed Runtime Monitoring for Multiparty Conversations.
BEAT
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
2014 — conf
Towards Reversible Sessions.
PLACES
Francesco Tiezzi, Nobuko Yoshida
2014 C conf
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
FORTE
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
2013 B conf
Compositional Choreographies.
CONCUR
Fabrizio Montesi, Nobuko Yoshida
2013 B conf
Globally Governed Session Semantics.
CONCUR
Dimitrios Kouzapas, Nobuko Yoshida
2013 C conf
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
COORDINATION
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
2013 — conf
Monitoring Networks through Multiparty Session Types.
FMOODS/FORTE
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2013 J jnl
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
CoRR
Pierre-Malo Deniélou, Nobuko Yoshida
2013 — conf
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
ICALP (2)
Pierre-Malo Deniélou, Nobuko Yoshida
2013 B conf
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
RV
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
2013 — ed.
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013.
PLACES
Nobuko Yoshida, Wim Vanderbauwhede
2013 B conf
SPY: Local Verification of Global Protocols.
RV
Rumyana Neykova, Nobuko Yoshida, Raymond Hu
2013 — conf
Scalable Session Programming for Heterogeneous High-Performance Systems.
SEFM Workshops
Nicholas Ng, Nobuko Yoshida, Wayne Luk
2013 — conf
The Scribble Protocol Language.
TGC
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2012 — conf
A Multiparty Multi-session Logic.
TGC
Laura Bocchi, Romain Demangeon, Nobuko Yoshida
2012 B conf
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.
FoSSaCS
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
2012 B conf
Intensional and Extensional Characterisation of Global Progress in the π-Calculus.
CONCUR
Luca Fossati, Kohei Honda, Nobuko Yoshida
2012 — conf
Multiparty Session C: Safe Parallel Programming with Message Optimisation.
TOOLS (50)
Nicholas Ng, Nobuko Yoshida, Kohei Honda
2012 A conf
Multiparty Session Types Meet Communicating Automata.
ESOP
Pierre-Malo Deniélou, Nobuko Yoshida
2012 J jnl
Parameterised Multiparty Session Types
Log. Methods Comput. Sci.
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
2012 J jnl
Session types: towards safe and fast reconfigurable programming.
SIGARCH Comput. Archit. News
Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi
2012 J jnl
Structured Communication-Centered Programming for Web Services.
ACM Trans. Program. Lang. Syst.
Marco Carbone, Kohei Honda, Nobuko Yoshida
2012 — conf
Trustworthy Pervasive Healthcare Services via Multiparty Session Types.
FHIES
Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein
2012 C conf
Verification of MPI Programs Using Session Types.
EuroMPI
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2011 J jnl
A Unified Theory of Program Logics: An Approach based on the π-Calculus.
Comput. J.
Kohei Honda, Nobuko Yoshida
2011 — conf
Asynchronous Distributed Monitoring for Multiparty Session Enforcement.
TGC
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
2011 A* conf
Dynamic multirole session types.
POPL
Pierre-Malo Deniélou, Nobuko Yoshida
2011 — conf
On Asynchronous Session Semantics.
FMOODS/FORTE
Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
2011 C conf
Safe Parallel Programming with Session Java.
COORDINATION
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis
2011 Misc conf
Scribbling Interactions with a Formal Foundation.
ICDCIT
Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
2010 B conf
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
CONCUR
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
2010 B conf
Buffered Communication Analysis in Distributed Multiparty Sessions.
CONCUR
Pierre-Malo Deniélou, Nobuko Yoshida
2010 — conf
Global Escape in Multiparty Sessions.
FSTTCS
Sara Capecchi, Elena Giachino, Nobuko Yoshida
2010 — conf
Multiparty Symmetric Sum Types
EXPRESS
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
2010 B conf
Parameterised Multiparty Session Types.
FoSSaCS
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
2010 — conf
Secure Execution of Distributed Session Programs
PLACES
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou
2010 A conf
Type-Safe Eventful Sessions in Java.
ECOOP
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda
2010 J jnl
Typed event structures and the linear pi-calculus.
Theor. Comput. Sci.
Daniele Varacca, Nobuko Yoshida
2009 — conf
Asynchronous Session Types: Exceptions and Multiparty Interactions.
SFM
Marco Carbone, Nobuko Yoshida, Kohei Honda
2009 A conf
Global Principal Typing in Partially Commutative Asynchronous Sessions.
ESOP
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
2009 J jnl
Objects and session types.
Inf. Comput.
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
2009 — conf
On Observing Dynamic Prioritised Actions in SOC.
ICALP (2)
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
2009 — ed.
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008
PLACES@DisCoTec
Vasco T. Vasconcelos, Nobuko Yoshida
2009 — conf
Session-Based Communication Optimisation for Higher-Order Mobile Processes.
TLCA
Dimitris Mostrous, Nobuko Yoshida
2009 — conf
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
PLACES
Andi Bejleri, Raymond Hu, Nobuko Yoshida
2008 — conf
A Symbolic Semantics for a Calculus for Service-Oriented Computing.
PLACES@DisCoTec
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
2008 — conf
A Unified Theory of Program Logics: An Approach based on the n-Calculus.
BCS Int. Acad. Conf.
Kohei Honda, Nobuko Yoshida
2008 — conf
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
ICALP (2)
Martin Berger, Kohei Honda, Nobuko Yoshida
2008 B conf
Global Progress in Dynamically Interleaved Multiparty Sessions.
CONCUR
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2008 J jnl
Logical Reasoning for Higher-Order Functions with Local State
CoRR
Nobuko Yoshida, Kohei Honda, Martin Berger
2008 J jnl
Logical Reasoning for Higher-Order Functions with Local State.
Log. Methods Comput. Sci.
Nobuko Yoshida, Kohei Honda, Martin Berger
2008 A* conf
Multiparty asynchronous session types.
POPL
Kohei Honda, Nobuko Yoshida, Marco Carbone
2008 — conf
Preface.
PLACES@DisCoTec
Vasco Thudichum Vasconcelos, Nobuko Yoshida
2008 — conf
Session-Based Compilation Framework for Multicore Programming.
FMCO
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
2008 A conf
Session-Based Distributed Programming in Java.
ECOOP
Raymond Hu, Nobuko Yoshida, Kohei Honda
2008 B conf
Structured Interactional Exceptions in Session Types.
CONCUR
Marco Carbone, Kohei Honda, Nobuko Yoshida
2008 — conf
Synchronous Multiparty Session Types.
PLACES@DisCoTec
Andi Bejleri, Nobuko Yoshida
2008 — conf
Type-Directed Compilation for Multicore Programming.
PLACES@DisCoTec
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2007 J jnl
A logical analysis of aliasing in imperative higher-order functions.
J. Funct. Program.
Martin Berger, Kohei Honda, Nobuko Yoshida
2007 J jnl
A uniform type structure for secure information flow.
ACM Trans. Program. Lang. Syst.
Kohei Honda, Nobuko Yoshida
2007 — conf
Asynchronous Session Types and Progress for Object Oriented Languages.
FMOODS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2007 B conf
Compositional Event Structure Semantics for the Internal
CONCUR
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
2007 J jnl
Formalising Java RMI with explicit code mobility.
Theor. Comput. Sci.
Alexander Joseph Ahern, Nobuko Yoshida
2007 J jnl
Linearity and bisimulation.
J. Log. Algebraic Methods Program.
Nobuko Yoshida, Kohei Honda, Martin Berger
2007 B conf
Logical Reasoning for Higher-Order Functions with Local State.
FoSSaCS
Nobuko Yoshida, Kohei Honda, Martin Berger
2007 — conf
On Progress for Structured Communications.
TGC
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida
2007 — conf
Probabilistic pi-Calculus and Event Structures.
QAPL
Daniele Varacca, Nobuko Yoshida
2007 A conf
Structured Communication-Centred Programming for Web Services.
ESOP
Marco Carbone, Kohei Honda, Nobuko Yoshida
2007 B conf
Timed, Distributed, Probabilistic, Typed Processes.
APLAS
Martin Berger, Nobuko Yoshida
2007 — conf
Two Session Typing Systems for Higher-Order Mobile Processes.
TLCA
Dimitris Mostrous, Nobuko Yoshida
2007 J jnl
Web Services, Mobile Processes and Types.
Bull. EATCS
Kohei Honda, Nobuko Yoshida, Marco Carbone
2006 — conf
A Calculus of Global Interaction based on Session Types.
DCM@ICALP
Marco Carbone, Kohei Honda, Nobuko Yoshida
2006 — conf
Bounded Session Types for Object Oriented Languages.
FMCO
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
2006 — conf
Descriptive and Relative Completeness of Logics for Higher-Order Functions.
ICALP (2)
Kohei Honda, Martin Berger, Nobuko Yoshida
2006 J jnl
Editorial.
Theor. Comput. Sci.
Philippa Gardner, Nobuko Yoshida
2006 — conf
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
SecReT@ICALP
Nobuko Yoshida, Vasco Thudichum Vasconcelos
2006 A conf
Session Types for Object-Oriented Languages.
ECOOP
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
2006 — conf
Theoretical Aspects of Communication-Centred Programming.
LIX
Marco Carbone, Kohei Honda, Nobuko Yoshida
2006 B conf
Typed Event Structures and the
MFPS
Daniele Varacca, Nobuko Yoshida
2005 — conf
A Distributed Object-Oriented Language with Session Types.
TGC
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou
2005 A conf
A logical analysis of aliasing in imperative higher-order functions.
ICFP
Martin Berger, Kohei Honda, Nobuko Yoshida
2005 A* conf
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.
LICS
Kohei Honda, Nobuko Yoshida, Martin Berger
2005 A conf
Formalising Java RMI with explicit code mobility.
OOPSLA
Alexander Joseph Ahern, Nobuko Yoshida
2005 J jnl
Genericity and the pi-calculus.
Acta Informatica
Martin Berger, Kohei Honda, Nobuko Yoshida
2005 J jnl
Noninterference through flow analysis.
J. Funct. Program.
Kohei Honda, Nobuko Yoshida
2005 — conf
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness.
APC 25
Nobuko Yoshida
2005 J jnl
safeDpi: a language for controlling mobile code.
Acta Informatica
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
2004 A conf
A Distributed Abstract Machine for Boxed Ambient Calculi.
ESOP
Andrew Phillips, Nobuko Yoshida, Susan Eisenbach
2004 C conf
A compositional logic for polymorphic higher-order functions.
PPDP
Kohei Honda, Nobuko Yoshida
2004 B ed.
CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
CONCUR
Philippa Gardner, Nobuko Yoshida
2004 A* conf
Channel dependent types for higher-order mobile processes.
POPL
Nobuko Yoshida
2004 J jnl
Strong normalisation in the pi -calculus.
Inf. Comput.
Nobuko Yoshida, Martin Berger, Kohei Honda
2004 B conf
safeDpi: A Language for Controlling Mobile Code.
FoSSaCS
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
2003 B conf
Genericity and the pi-Calculus.
FoSSaCS
Martin Berger, Kohei Honda, Nobuko Yoshida
2002 A* conf
A uniform type structure for secure information flow.
POPL
Kohei Honda, Nobuko Yoshida
2002 J jnl
Assigning Types to Processes.
Inf. Comput.
Nobuko Yoshida, Matthew Hennessy
2002 — conf
Dynamic Channel Screening in the Higher Order pi-Calculus.
F-WAN@ICALP
José-Luis Vivas, Nobuko Yoshida
2002 B conf
Linearity and Bisimulation.
FoSSaCS
Nobuko Yoshida, Kohei Honda, Martin Berger
2002 J jnl
Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators.
Theor. Comput. Sci.
Nobuko Yoshida
2001 — conf
Sequentiality and the pi-Calculus.
TLCA
Martin Berger, Kohei Honda, Nobuko Yoshida
2001 A* conf
Strong Normalisation in the pi-Calculus.
LICS
Nobuko Yoshida, Martin Berger, Kohei Honda
2000 A* conf
Assigning Types to Processes.
LICS
Nobuko Yoshida, Matthew Hennessy
2000 A conf
Secure Information Flow as Typed Process Behaviour.
ESOP
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
1999 J jnl
Game-Theoretic Analysis of Call-by-Value Computation.
Theor. Comput. Sci.
Kohei Honda, Nobuko Yoshida
1999 B conf
Suptyping and Locality in Distributed Higher Order Processes (extended abstract).
CONCUR
Nobuko Yoshida, Matthew Hennessy
1998 B conf
Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).
CONCUR
Nobuko Yoshida
1997 A* conf
Game Theoretic Analysis of Call-by-Value Computation.
ICALP
Kohei Honda, Nobuko Yoshida
1996 — conf
Graph Types for Monadic Mobile Processes.
FSTTCS
Nobuko Yoshida
1995 J jnl
On Reduction-Based Process Semantics.
Theor. Comput. Sci.
Kohei Honda, Nobuko Yoshida
1994 A* conf
Combinatory Representation of Mobile Processes.
POPL
Kohei Honda, Nobuko Yoshida
1994 — conf
Graph Notation for Concurrent Combinators.
Theory and Practice of Parallel Programming
Nobuko Yoshida
1994 — conf
Replication in Concurrent Combinators.
TACS
Kohei Honda, Nobuko Yoshida
1993 — conf
On Reduction-Based Semantics.
FSTTCS
Kohei Honda, Nobuko Yoshida
1993 — conf
Optimal Reduction in Weak-λ-calculus with Shared Environments.
FPCA
Nobuko Yoshida