Packages tagged state-machines
2 packages have this tag.
[Merge tag] (trustees only)Related tags: library (2), mit (2), program (2), control (1), machines (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| LTS | 1 | 0.0 | 0 | LTS: Labelled Transition System | (library, mit, program, state-machines) | 2020-04-08 | 0.1.0.0 | ajayeeralla |
| crem | 2 | 2.0 | 0 | Compositional representable executable machines | (control, library, machines, mit, program, state-machines) | 2023-03-17 | 0.1.0.0 | marcosh |