


Остановите войну!
for scientists:
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
- 2022
- [j72]Eva Graversen, Iain Phillips
, Nobuko Yoshida
:
Event structures for the reversible early internal π-calculus. J. Log. Algebraic Methods Program. 124: 100720 (2022) - [j71]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) - [c152]Zak Cutner, Nobuko Yoshida, Martin Vassor:
Deadlock-free asynchronous message reordering in rust with multiparty session types. PPoPP 2022: 246-261 - [i29]Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. CoRR abs/2204.13464 (2022) - [i28]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) - 2021
- [j70]Eva Graversen, Iain C. C. Phillips
, Nobuko Yoshida
:
Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. 121: 100686 (2021) - [j69]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) - [j68]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) - [j67]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) - [c151]Anson Miu
, Francisco Ferreira
, Nobuko Yoshida
, Fangyi Zhou
:
Communication-safe web programming in TypeScript with routed multiparty session types. CC 2021: 94-106 - [c150]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 - [c149]Zak Cutner
, Nobuko Yoshida
:
Safe Session-Based Asynchronous Coordination in Rust. COORDINATION 2021: 80-89 - [c148]Nobuko Yoshida
, Fangyi Zhou
, Francisco Ferreira
:
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. FCT 2021: 18-35 - [c147]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 - [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] - [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
- [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.