MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Publications

By year:2026 2025 2024 2023 2022 2021 2021 2020 2019 2018 2018 2017 2016 2015 2015 2014 2013 2012 2012 2011 2010 2009 2008

2015

Laura Bocchi, Julien Lange, Nobuko Yoshida: Meeting Deadlines Together. CONCUR 2015 : 283 - 296.
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida: Multiparty Session Types as Coherence Proofs. CONCUR 2015 : 412 - 426.
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda: On Asynchronous Eventful Session Semantics. MSCS : 1 - 62.
Romain Demangeon, Nobuko Yoshida: On the Expressiveness of Multiparty Session Types. FSTTCS 2015 : 560 - 574.
Nicholas Ng, Nobuko Yoshida: Pabble: parameterised Scribble. SOCA : 269 - 284.
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. FMSD : 1 - 29.
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'15 : 280 - 298.
Nicholas Ng, Jose G.F. Coutinho, Nobuko Yoshida: Protocols by Default: Safe MPI Code Generation based on Session Types. CC 2015 : 212 - 232.
Francesco Tiezzi, Nobuko Yoshida: Reversible Session-Based Pi-Calculus. JLAMP : 684 - 707.
Dimitris Mostrous, Nobuko Yoshida: Session Typing and Asynchronous Subtyping for the Higher-Order π-Calculus. Inform. Comput. : 227 - 263.
Alceste Scalas, Massimo Bartoletti: The LTS WorkBench. ICE 2015 : 86 - 98.
Dominic Orchard, Nobuko Yoshida: Using session types as an effect system. PLACES'15 : 1 - 12.

2014

Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino: Choreographies in the Wild. SCP : 1 - 25.
Vladimiro Sassone: ETAPS Award: Laudatio for Kohei Honda. Bulletin of the EATCS : 11 - 12.
Sara Capecchi, Elena Giachino, Nobuko Yoshida: Global Escape in Multiparty Sessions. MSCS : 156 - 295.
Rumyana Neykova, Nobuko Yoshida: Multiparty Session Actors. COORDINATION 2014 : 131 - 146.
Luca Fossati, Raymond Hu, Nobuko Yoshida: Multiparty Session Nets. TGC 2014 : 112 - 127.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: On the Preciseness of Subtyping in Session Types. PPDP 2014 : 135 - 146.
Nicholas Ng, Nobuko Yoshida: Pabble: Parameterised Scribble for Parallel Programming. PDP 2014 : 707 - 714.
Kohei Honda, Nobuko Yoshida, Martin Berger: Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus. RTA-TLCA 2014 : 1 - 20.
Laura Bocchi, Hernán Melgratti, Emilio Tuosto: Resolving Non-determinism in Choreographies. ESOP 2014 : 512 - 493.
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida: Structuring Communication with Session Types. COB 2014 : 105 - 127.
Laura Bocchi, Weizhen Yang, Nobuko Yoshida: Timed Multiparty Session Types. CONCUR 2014 : 419 - 434.
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida: Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014 : 19 - 26.
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida: Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE 2014 : 1 - 16.

2013

Kohei Honda, Nobuko Yoshida, Martin Berger: An observationally complete program logic for imperative higher-order functions. TCS : 75 - 101.
Fabrizio Montesi, Nobuko Yoshida: Compositional Choreographies. CONCUR 2013 : 439 - 425.
Dimitrios Kouzapas, Nobuko Yoshida: Globally Governed Session Semantics. CONCUR 2013 : 409 - 395.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida: Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013 : 45 - 59.
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida: Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013 : 50 - 65.
Pierre-Malo Deniélou, Nobuko Yoshida: Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. ICALP 2013 : 174 - 186.
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon: Practical interruptible conversations: Distributed Dynamic Veriﬁcation with Session Types and Python. RV 2013 : 148 - 130.
Nicholas Ng, Nobuko Yoshida, Wayne Luk: Scalable Session Programming for Heterogeneous High-Performance Systems. SEFM Workshops 2013 : 82 - 98.
Rumyana Neykova: Session Types Go Dynamic or How to Verify Your Python Conversations. PLACES'13 : 95 - 102.
Rumyana Neykova, Nobuko Yoshida, Raymond Hu: SPY: Local Verification of Global Protocols. RV 2013 : 363 - 358.
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng: The Scribble Protocol Language. TGC 2013 : 22 - 41.
Eduardo R. B. Marques, Francisco Martins, Vasco Thudichum Vasconcelos, Nicholas Ng, Nuno Dias Martins: Towards deductive verification of MPI programs against session types. PLACES'13 : 103 - 113.

2012

Laura Bocchi, Romain Demangeon, Nobuko Yoshida: A Multiparty Multi-Session Logic. TGC 2012 : 111 - 97.
Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012 : 225 - 239.
Luca Fossati, Kohei Honda, Nobuko Yoshida: Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR 2012 : 287 - 301.
Nicholas Ng, Nobuko Yoshida, Kohei Honda: Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS 2012 : 202 - 218.
Pierre-Malo Deniélou, Nobuko Yoshida: Multiparty Session Types Meet Communicating Automata. ESOP 2012 : 194 - 213.
Romain Demangeon, Kohei Honda: Nested Protocols in Session Types. CONCUR 2012 : 272 - 286.
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu: Parameterised Multiparty Session Types. LMCS .
Kohei Honda: Session Types and Distributed Computing. ICALP (2) 2012 : 23.
Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi, Wayne Luk: Session Types: Towards safe and fast reconfigurable programming. SIGARCH CAN : 22 - 27.
Tzu-Chun Chen, Kohei Honda: Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR 2012 : 209 - 224.
Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centered Programming for Web Services. TOPLAS : 8:1 - 8:78.
Laura Bocchi, Julien Lange, Emilio Tuosto: Three Algorithms and a Methodology for Amending Contracts for Choreographies. SACS : 61 - 104.
Anders S. Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein: Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES 2012 : 124 - 141.