MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Publications

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

2012

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.
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.