Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDNobuko 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
[j68]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)- [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 - [e5]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] - [i26]Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CoRR abs/2101.04622 (2021) - [i25]David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida:
Zooid: a DSL for Certified Multiparty Computation. CoRR abs/2103.10269 (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]