Specification Language, Distributed Systems, Temporal Logic, System Modeling

When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News