Repositories list

• abcd-website

  Public
  ABCD Project website

  HTML

  •4•4•0•0•Updated Mar 11, 2022Mar 11, 2022

• Usecase-Report

  Public
  TeX

  •2•0•0•0•Updated Mar 10, 2016Mar 10, 2016

• session-types-use-cases

  Public
  This is a common repository for the ABCD team to share use-cases of session types.

  TeX

  •8•15•0•0•Updated Feb 29, 2016Feb 29, 2016