26 citations · 51 across the 13 of their papers we have counts for
1 paper · 2 filters
Bas van den Heuvel, Jorge A. Pérez
Protocols provide the unifying glue in concurrent and distributed software today; verifying that message-passing programs conform to such governing protocols is important but diffi…