
Nobuko Yoshida
Person information
- affiliation: 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
- 2021
- [j67]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) - [c147]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-safe web programming in TypeScript with routed multiparty session types. CC 2021: 94-106 - [i25]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CoRR abs/2101.04622 (2021) - 2020
- [d4]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) - [d3]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) - [j66]Doriana Medic, Claudio Antares Mezzina
, Iain Phillips, Nobuko Yoshida
:
A parametric framework for reversible π-calculi. Inf. Comput. 275: 104644 (2020) - [j65]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) - [j64]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) - [j63]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) - [j62]David Castro-Perez, Nobuko Yoshida:
CAMP: cost-aware multiparty session protocols. Proc. ACM Program. Lang. 4(OOPSLA): 155:1-155:30 (2020) - [c146]David Castro-Perez
, Nobuko Yoshida
:
Compiling first-order functions to session-typed parallel code. CC 2020: 143-154 - [c145]Nicolas Lagaillardie
, Rumyana Neykova
, Nobuko Yoshida
:
Implementing Multiparty Session Types in Rust. COORDINATION 2020: 127-136 - [c144]Julia Gabet
, Nobuko Yoshida
:
Static Race Detection and Mutex Safety and Liveness for Go Programs. ECOOP 2020: 4:1-4:30 - [c143]Keigo Imai
, Rumyana Neykova
, Nobuko Yoshida
, Shoji Yuen
:
Multiparty Session Programming With Global Protocol Combinators. ECOOP 2020: 9:1-9:30 - [c142]Sung-Shik Jongmans
, Nobuko Yoshida
:
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020: 251-279 - [c141]Nobuko Yoshida
, Lorenzo Gheri:
A Very Gentle Introduction to Multiparty Session Types. ICDCIT 2020: 73-93 - [c140]Eva Graversen, Iain Phillips
, Nobuko Yoshida
:
Event Structures for the Reversible Early Internal π-Calculus. RC 2020: 71-90 - [c139]Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
:
Towards a Formal Account for Software Transactional Memory. RC 2020: 255-263 - [c138]David Castro-Perez
, Francisco Ferreira
, Nobuko Yoshida
:
EMTST: Engineering the Meta-theory of Session Types. TACAS (2) 2020: 278-285 - [c137]Anson Miu, Francisco Ferreira, Nobuko Yoshida
, Fangyi Zhou
:
Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS 2020: 12-22 - [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
- [j61]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
:
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019) - [j60]Eva Graversen, Iain Phillips, Nobuko Yoshida
:
Towards a categorical representation of reversible event structures. J. Log. Algebraic Methods Program. 104: 16-59 (2019) - [j59]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) - [j58]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) - [j57]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) - [j56]Alceste Scalas, Nobuko Yoshida
:
Less is more: multiparty session types revisited. Proc. ACM Program. Lang. 3(POPL): 30:1-30:29 (2019) - [j55]Keigo Imai
, Nobuko Yoshida
, Shoji Yuen:
Session-ocaml: A session-based library with polarities and lenses. Sci. Comput. Program. 172: 135-159 (2019) - [j54]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) - [c136]Liye Guo, Hsiang-Shang Ko
, Keigo Imai
, Nobuko Yoshida, Zhenjiang Hu:
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp 2019: 1-5 - [c135]Bernardo Toninho
, Nobuko Yoshida
:
Polymorphic Session Processes as Morphisms. The Art of Modelling Computational Systems 2019: 101-117 - [c134]Rumyana Neykova, Nobuko Yoshida
:
Featherweight Scribble. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 236-259 - [c133]Julien Lange, Nobuko Yoshida
:
Verifying Asynchronous Interactions via Communicating Session Automata. CAV (1) 2019: 97-117 - [c132]Mario Bravetti
, Marco Carbone
, Julien Lange
, Nobuko Yoshida
, Gianluigi Zavattaro
:
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019: 38:1-38:16 - [c131]Rupak Majumdar, Marcus Pirron, Nobuko Yoshida
, Damien Zufferey
:
Motion Session Types for Robotic Interactions (Brave New Idea Paper). ECOOP 2019: 28:1-28:27 - [c130]Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
:
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP 2019: 583-610 - [c129]Simon Castellan, Nobuko Yoshida
:
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). FoSSaCS 2019: 150-168 - [c128]Alceste Scalas
, Nobuko Yoshida
, Elias Benussi:
Verifying message-passing programs with dependent behavioural types. PLDI 2019: 502-516 - [c127]Alceste Scalas
, Nobuko Yoshida
, Elias Benussi:
Effpi: verified message-passing programs in Dotty. SCALA@ECOOP 2019: 27-31 - [c126]Nicola Atzei, Massimo Bartoletti, Stefano Lande
, Nobuko Yoshida
, Roberto Zunino:
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE 2019: 1124-1128 - [c125]Assel Altayeva, Nobuko Yoshida
:
Service Equivalence via Multiparty Session Type Isomorphisms. PLACES@ETAPS 2019: 1-11 - [c124]Jonathan King, Nicholas Ng, Nobuko Yoshida
:
Multiparty Session Type-safe Web Development with Static Linearity. PLACES@ETAPS 2019: 35-46 - [e4]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
- [j53]Alceste Scalas
, Nobuko Yoshida
:
Multiparty session types, beyond duality. J. Log. Algebraic Methods Program. 97: 55-84 (2018) - [j52]Bernardo Toninho
, Nobuko Yoshida
:
Interconnectability of Session-Based Logical Processes. ACM Trans. Program. Lang. Syst. 40(4): 17:1-17:42 (2018) - [c123]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 - [c122]Bernardo Toninho
, Nobuko Yoshida
:
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. ESOP 2018: 827-855 - [c121]Bernardo Toninho
, Nobuko Yoshida
:
Depending on Session-Typed Processes. FoSSaCS 2018: 128-145 - [c120]Julien Lange, Nicholas Ng, Bernardo Toninho
, Nobuko Yoshida
:
A static verification framework for message passing in Go using behavioural types. ICSE 2018: 1137-1148 - [c119]Romain Demangeon, Nobuko Yoshida
:
Causal Computational Complexity of Distributed Processes. LICS 2018: 344-353 - [c118]Eva Graversen, Iain Phillips
, Nobuko Yoshida
:
Event Structure Semantics of (controlled) Reversible CCS. RC 2018: 102-122 - [c117]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
- [j51]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann, Nobuko Yoshida
:
Multiparty session types as coherence proofs. Acta Informatica 54(3): 243-269 (2017) - [j50]Dimitrios Kouzapas, Jorge A. Pérez
, Nobuko Yoshida
:
Characteristic bisimulation for higher-order session processes. Acta Informatica 54(3): 271-341 (2017) - [j49]Rumyana Neykova, Nobuko Yoshida
:
Multiparty Session Actors. Log. Methods Comput. Sci. 13(1) (2017) - [d2]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) - [j48]Rumyana Neykova
, Laura Bocchi, Nobuko Yoshida
:
Timed runtime monitoring for multiparty conversations. Formal Aspects Comput. 29(5): 877-910 (2017) - [j47]Dominic A. Orchard
, Nobuko Yoshida
:
Guest editors' foreword. J. Log. Algebraic Methods Program. 90: 1 (2017) - [j46]Bernardo Toninho
, Nobuko Yoshida
:
Certifying data in multiparty session types. J. Log. Algebraic Methods Program. 90: 61-83 (2017) - [j45]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) - [j44]Laura Bocchi, Tzu-Chun Chen
, Romain Demangeon, Kohei Honda, Nobuko Yoshida
:
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669: 33-58 (2017) - [c116]Rumyana Neykova, Nobuko Yoshida:
Let it recover: multiparty protocol-induced recovery. CC 2017: 98-108 - [c115]Keigo Imai
, Nobuko Yoshida
, Shoji Yuen:
Session-ocaml: A Session-Based Library with Polarities and Lenses. COORDINATION 2017: 99-118 - [c114]Alceste Scalas
, Ornela Dardha
, Raymond Hu, Nobuko Yoshida
:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017: 24:1-24:31 - [c113]Raymond Hu, Nobuko Yoshida
:
Explicit Connection Actions in Multiparty Session Types. FASE 2017: 116-133 - [c112]Julien Lange
, Nobuko Yoshida
:
On the Undecidability of Asynchronous Session Subtyping. FoSSaCS 2017: 441-457 - [c111]Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
Fencing off go: liveness and safety for channel-based programming. POPL 2017: 748-761 - [c110]Alceste Scalas
, Nobuko Yoshida
:
Multiparty Session Types, Beyond Duality (Abstract). PLACES@ETAPS 2017: 37-38 - [c109]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
- [j43]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) - [d1]Alceste Scalas, Nobuko Yoshida:
Lightweight Session Programming in Scala (Artifact). Dagstuhl Artifacts Ser. 2(1): 11:1-11:2 (2016) - [j42]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) - [j41]Kohei Honda, Nobuko Yoshida
, Marco Carbone:
Multiparty Asynchronous Session Types. J. ACM 63(1): 9:1-9:67 (2016) - [j40]Sara Capecchi, Elena Giachino, Nobuko Yoshida
:
Global escape in multiparty sessions. Math. Struct. Comput. Sci. 26(2): 156-205 (2016) - [j39]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) - [j38]Dimitrios Kouzapas, Nobuko Yoshida
, Raymond Hu, Kohei Honda:
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2): 303-364 (2016) - [c108]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 - [c107]Bernardo Toninho
, Nobuko Yoshida
:
Certifying Data in Multiparty Session Types. A List of Successes That Can Change the World 2016: 433-458 - [c106]Nicholas Ng, Nobuko Yoshida
:
Static deadlock detection for concurrent go by global session graph synthesis. CC 2016: 174-184 - [c105]Alceste Scalas
, Nobuko Yoshida
:
Lightweight Session Programming in Scala. ECOOP 2016: 21:1-21:28 - [c104]Dimitrios Kouzapas, Jorge A. Pérez
, Nobuko Yoshida
:
On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016: 446-475 - [c103]Raymond Hu, Nobuko Yoshida
:
Hybrid Session Verification Through Endpoint API Generation. FASE 2016: 401-418 - [c102]Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida
, Wayne Luk:
EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits. FPL 2016: 1-4 - [c101]Dominic A. Orchard
, Nobuko Yoshida:
Effects as sessions, sessions as effects. POPL 2016: 568-581 - [c100]Francesco Tiezzi, Nobuko Yoshida
:
Reversing Single Sessions. RC 2016: 52-69 - [c99]Julien Lange
, Nobuko Yoshida
:
Characteristic Formulae for Session Types. TACAS 2016: 833-850 - [e3]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
- [j37]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) - [j36]Dimitris Mostrous, Nobuko Yoshida
:
Session typing and asynchronous subtyping for the higher-order π-calculus. Inf. Comput. 241: 227-263 (2015) - [j35]Francesco Tiezzi, Nobuko Yoshida
:
Reversible session-based pi-calculus. J. Log. Algebraic Methods Program. 84(5): 684-707 (2015) - [j34]Nicholas Ng, Nobuko Yoshida
:
Pabble: parameterised Scribble. Serv. Oriented Comput. Appl. 9(3-4): 269-284 (2015) - [c98]Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida
:
Protocols by Default - Safe MPI Code Generation Based on Session Types. CC 2015: 212-232 - [c97]Laura Bocchi, Julien Lange
, Nobuko Yoshida
:
Meeting Deadlines Together. CONCUR 2015: 283-296 - [c96]Dimitrios Kouzapas, Jorge A. Pérez
, Nobuko Yoshida
:
Characteristic Bisimulation for Higher-Order Session Processes. CONCUR 2015: 398-411 - [c95]Marco Carbone, Fabrizio Montesi
, Carsten Schürmann, Nobuko Yoshida
:
Multiparty Session Types as Coherence Proofs. CONCUR 2015: 412-426 - [c94]Romain Demangeon, Nobuko Yoshida
:
On the Expressiveness of Multiparty Sessions. FSTTCS 2015: 560-574 - [c93]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 - [c92]Julien Lange
, Emilio Tuosto, Nobuko Yoshida:
From Communicating Machines to Graphical Choreographies. POPL 2015: 221-232 - [c91]Tiago Cogumbreiro, Raymond Hu, Francisco Martins
, Nobuko Yoshida
:
Dynamic deadlock verification for general barrier synchronisation. PPOPP 2015: 150-160 - [c90]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani
, Nobuko Yoshida
:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178 - [c89]Dominic A. Orchard
, Nobuko Yoshida
:
Using session types as an effect system. PLACES 2015: 1-13 - [c88]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
- [j33]Dimitrios Kouzapas, Nobuko Yoshida
:
Globally Governed Session Semantics. Log. Methods Comput. Sci. 10(4) (2014) - [j32]Kohei Honda, Nobuko Yoshida
, Martin Berger:
An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. 517: 75-101 (2014) - [c87]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 - [c86]Laura Bocchi, Weizhen Yang, Nobuko Yoshida
:
Timed Multiparty Session Types. CONCUR 2014: 419-434 - [c85]Rumyana Neykova
, Nobuko Yoshida
:
Multiparty Session Actors. COORDINATION 2014: 131-146 - [c84]