async-mpst-gen-choice

Project information

This repo contains our prototype implementing the generalised projection of global types from our MST framework with generalised choice.

Maintainer: Felix Stutz

Created on

January 12, 2021

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:fstutz/async-mpst-gen-choice.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/fstutz/async-mpst-gen-choice.git