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

2012

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.
Kohei Honda: Understanding Distributed Services through the π-Calculus. WS-FM 2011 : 1.

2010

Laura Bocchi, Emilio Tuosto: A Java Inspired Semantics for Transactions in SOC. TGC 2010 : 120 - 134.
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida: A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010 : 162 - 176.
Kohei Honda, Olivier Laurent: An exact correspondence between a typed pi-calculus and polarised proof-nets. TCS : 2223 - 2238.
Pierre-Malo Deniélou, Nobuko Yoshida: Buffered Communication Analysis in Distributed Multiparty Sessions. CONCUR 2010 : 343 - 357.
Sara Capecchi, Elena Giachino, Nobuko Yoshida: Global Escape in Multiparty Sessions. FTTCS 2010 : 338 - 351.
Lasse Nielsen, Nobuko Yoshida, Kohei Honda: Multiparty Symmetric Sum Types. EXPRESS'10 : 121 - 135.
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou: Secure Execution of Distributed Session Programs. PLACES 2010 : 1 - 11.
Laura Bocchi, Emilio Tuosto: Testing Attribute-Based Transactions in SOC. FMOODS/FORTE 2010 : 87 - 94.
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda: Type-Safe Eventful Sessions in Java. ECOOP 2010 : 329 - 353.
Daniele Varacca, Nobuko Yoshida: Typed event structures and the linear pi-calculus. TCS : 1949 - 1973.

2009

Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: A Symbolic Semantics for a Calculus for Service-Oriented Computing. ENTCS : 135 - 164.
Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009 : 187 - 212.
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda: Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009 : 316 - 332.
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. IC 2009 : 595 - 641.
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009 : 558 - 570.
Dimitris Mostrous, Nobuko Yoshida: Session-Based Communication Optimisation for Higher-Order Mobile Processes. TLCA 2009 : 203 - 218.
Andi Bejleri, Raymond Hu, Nobuko Yoshida: Session-Based Programming for Parallel Algorithms: Expressiveness and Performance. PLACES 2009 : 17 - 29.
Andi Bejleri, Nobuko Yoshida: Synchronous Multiparty Session Types. ENTCS : 3 - 33.
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. ENTCS : 101 - 111.

2008

Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the π-Calculus. BCS Int. Acad. Conf. 2008 : 259 - 274.
Martin Berger, Kohei Honda, Nobuko Yoshida: Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008 : 99 - 111.
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008 : 418 - 433.
Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. CoRR : 68 - 1.
Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty Asynchronous Session Types. POPL '08 : 273 - 284.
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda: Session-Based Compilation Framework for Multicore Programming. FMCO 2008 : 226 - 246.
Raymond Hu, Nobuko Yoshida, Kohei Honda: Session-Based Distributed Programming in Java. ECOOP 2008 : 516 - 541.
Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Interactional Exceptions in Session Types. CONCUR 2008 : 402 - 417.
Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. ENTCS : 125 - 133.