Model-based Testing Distributed Systems with P Language (2021) (via hwayne) — discussion
#distributed #formalmethods
