MobilityReadingGroup

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

Publications

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

2015

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.
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Verification of MPI Programs Using Session Types. EuroMPI'12 : 291 - 293.

2011

Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the π-calculus. Comput. J. : 88 - 107.
Laura Bocchi, Julien Lange, Emilio Tuosto: Amending Contracts for Choreographies. ICE 2011 : 111 - 129.
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida: Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC 2011 : 25 - 45.
Pierre-Malo Deniélou, Nobuko Yoshida: Dynamic multirole session types. POPL 2011 : 435 - 446.
Romain Demangeon, Kohei Honda: Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR 2011 : 280 - 296.
Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda: On Asynchronous Session Semantics. FMOODS/FORTE 2011 : 228 - 243.
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis: Safe Parallel Programming with Session Java. COORDINATION 2011 : 110 - 126.
Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida: Scribbling Interactions with a Formal Foundation. ICDCIT 2011 : 55 - 75.