Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
128
stars
6
forks
source link
Don't fail with deadlock if an internal node choice could have no fut… #45
Closed
jp-fizzbee closed 3 months ago
…ure path, but there is always a safe path from a yield node