All Stories

  1. Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Ross Horne

  2. Logic Beyond Formulas

    Article • May 2020, ACM (Association for Computing Machinery)

    Ross Horne

  3. A logic featuring new nominal quantifiers designed to provide a semantics for processes

    Article • ACM Transactions on Computational Logic, October 2019, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu, Ross Horne, Bogdan Aman