A C library implementing Bracha's 1987 paper and BKR's 1994 ACS as composable pure state machines.
-
Updated
Jun 10, 2026 - C
A C library implementing Bracha's 1987 paper and BKR's 1994 ACS as composable pure state machines.
Add a description, image, and links to the asynchronous-common-subset topic page so that developers can more easily learn about it.
To associate your repository with the asynchronous-common-subset topic, visit your repo's landing page and select "manage topics."