#

ccsk

Here are 3 public repositories matching this topic...

CinRC / IRDC-CCSK

Java implementation of distributed reversible computation verification

java process-algebra reversible-computation ccsk calculus-of-communicating-systems

Updated Sep 10, 2023
Java

bvoris / CCSKTraining

Public Repository for CCSK Training

cloud-security-alliance ccsk-training ccsk

Updated Nov 5, 2020

CinRC / Exercises-on-CCS-CCSK-and-RCCS

A collection of exercises about CSS and its reversible declensions

operator-algebra ccsk rccs reversible-calculi

Updated Nov 18, 2024
TeX

Improve this page

Add a description, image, and links to the ccsk topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ccsk topic, visit your repo's landing page and select "manage topics."