All Stories

  1. Foundations of Session Types and Behavioural Contracts

    Article • ACM Computing Surveys, July 2016, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos, Marco Carbone

  2. Multiparty Asynchronous Session Types

    Article • Journal of the ACM, March 2016, ACM (Association for Computing Machinery)

    Marco Carbone