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

2016

Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida: Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. LMCS : 1 - 38.

2015

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida: A Gentle Introduction to Multiparty Asynchronous Session Types. SFM-15:MP : 146 - 178.
Junyi Xie, Xinyu Niu, Andy K.S. Lau, Kevin K Tsia, Haden K.H. So: Accelerated cell imaging and classification on FPGAs for quantitative-phase asymmetric-detection time-stretch optical microscopy. FPT 2015 : 1 - 8.
Laura Bocchi, Emilio Tuosto: Attribute-Based Transactions in Service Oriented Computing. MSCS : 619 - 665.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Characteristic Bisimulations for Higher-Order Session Processes. CONCUR 2015 : 398 - 411.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. ArXiv : 1 - 20.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015 : 150 - 160.
Julien Lange, Emilio Tuosto, Nobuko Yoshida: From communicating machines to graphical choreographies. POPL 2015 : 221 - 232.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani: Global Progress for Dynamically Interleaved Multiparty Sessions. MSCS : 238 - 302.
Dimitrios Kouzapas, Nobuko Yoshida: Globally Governed Session Semantics. LMCS .
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.