Skip to content
@epsrc-abcd

epsrc-abcd

Popular repositories Loading

  1. session-types-use-cases session-types-use-cases Public

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

    TeX 15 8

  2. abcd-website abcd-website Public

    ABCD Project website

    HTML 4 4

  3. Usecase-Report Usecase-Report Public

    TeX 2

Repositories

Showing 3 of 3 repositories
  • abcd-website Public

    ABCD Project website

    epsrc-abcd/abcd-website’s past year of commit activity
    HTML 4 4 0 0 Updated Mar 11, 2022
  • Usecase-Report Public
    epsrc-abcd/Usecase-Report’s past year of commit activity
    TeX 0 2 0 0 Updated Mar 10, 2016
  • session-types-use-cases Public

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

    epsrc-abcd/session-types-use-cases’s past year of commit activity
    TeX 15 8 0 0 Updated Feb 29, 2016

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…