Explores generalizing term operations like unification and rewriting to advanced structures like AC terms and rational terms, with Python examples.
Explores extending TLA+ for performance modeling using queueing theory and simulation, moving beyond just correctness verification.
Summary of talks from the 2025 TLA+ Community Event, focusing on formal methods and model-guided fuzzing for distributed systems.
A review of the book 'Performance Modeling and Design of Computer Systems' by a group of distributed systems engineers, assessing its utility for practical performance analysis.
