Skip to content
@CinRC

Concurrency In Reversible Computations

An NSF-funded project aiming at improving current specification languages for concurrent, reversible programs and protocols.

Concurrency In Reversible Computations

News

Presentation

The CinRC project aims at improving current specification languages for concurrent, reversible programs and protocols. It is an international collaborative project funded by the NSF, taking primarily place in the Augusta University's School of Computer Science.

Augusta University wrote an article presenting the project, and our local television station aired a short segment about it as well.

Members

This project is carried out by Clément Aubert, with the help of the following collaborators (in alphabetical order):

Papers

Abstract

Poster

Tools

  • IRDC-CCSK, a Java implementation of distributed reversible computation verification, is hosted on gihtub.
  • A collection of small exercises about CSS and its reversible declensions is hosted on github

Miscellaneous

Pinned Loading

  1. IRDC-CCSK IRDC-CCSK Public

    Java implementation of distributed reversible computation verification

    Java 4 2

  2. Exercises-on-CCS-CCSK-and-RCCS Exercises-on-CCS-CCSK-and-RCCS Public

    A collection of exercises about CSS and its reversible declensions

    TeX 1

Repositories

Showing 4 of 4 repositories
  • .github Public

    Organization's profile and website(s)

    CinRC/.github’s past year of commit activity
    HTML 0 CC-BY-4.0 0 0 0 Updated Apr 23, 2025
  • fbarrows Public

    A LaTeX package to draw "forward" and "backward" arrows

    CinRC/fbarrows’s past year of commit activity
    TeX 0 0 1 0 Updated Mar 29, 2025
  • Exercises-on-CCS-CCSK-and-RCCS Public

    A collection of exercises about CSS and its reversible declensions

    CinRC/Exercises-on-CCS-CCSK-and-RCCS’s past year of commit activity
    TeX 0 CC-BY-4.0 1 1 0 Updated Nov 18, 2024
  • IRDC-CCSK Public

    Java implementation of distributed reversible computation verification

    CinRC/IRDC-CCSK’s past year of commit activity
    Java 4 GPL-3.0 2 11 0 Updated Sep 10, 2023

Top languages

Loading…

Most used topics

Loading…