Skip to content

GitLab

Explore

Sign in

A

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

120 Commits
3 Branches
2 Tags
1 Release

README
MIT License

Created on

January 12, 2021

Loading