Tags

Adhesive categories; Algebraic rewriting; Graph rewriting; Hypergraphs; Rewriting systems; Term graphs

algorithms; blockchain; lumpability; Markov chains

Artificial intelligence; Blockchain; Machine learning

Automata; Bisimulation; Incremental; Minimization

Autonomic computing; Bisimulations; Distributed systems; ECA rules; Formal methods; IoT programming; Verification

Cascade decomposition; Krohn-Rhodes Theorem; Wheeler automata

Co-lexicographical Sorting; Deterministic Finite Automata; Graph Indexing; String Matching; Wheeler languages

Compression; Lumpability; Neural networks; Pruning

Edge-failure; Graphs; Quantum walks

Elliptic curve cryptography (ECC); Key vulnerabilities; Standardized curves; Weak keys