1 paper · 1 filter
Amrita Suresh, Nobuko Yoshida
Systems of communicating automata are prominent models for peer-to-peer message-passing over unbounded channels, but in the general scenario, most verification properties are undec…