2 ms·
This library implements Harel state charts, which are a superset of FSMs that allow for parallel and nested states. Not sure what TLA+ has to do with either.
by tadfisher 3y ago
This library implements Harel state charts, which are a superset of FSMs that allow for parallel and nested states.
Not sure what TLA+ has to do with either.
- westurner 3y agoWhat are some strategies that could help determine what TLA+ has to do with state machines?