Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Paul Eichler

Distributed, Parallel, and Cluster Computing Verifying Distributed Algorithms with Threshold Automata

Examining how threshold automata improve distributed algorithm verification.

2025-07-22T19:34:24+00:00 ― 6 min read

Formal Languages and Automata Theory Understanding Parameterized Systems in Computer Science

An overview of parameterized systems and their verification challenges.

2025-06-28T20:19:18+00:00 ― 6 min read