26 citations · 51 across the 13 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021★ 2 cited
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
Bas van den Heuvel, Jorge A. Pérez
We tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. Our contributions are tw…
cs.LO2021★ 4 cited
Deadlock Freedom for Asynchronous and Cyclic Process Networks
Bas van den Heuvel, Jorge A. Pérez
This paper considers the challenging problem of establishing deadlock freedom for message-passing processes using behavioral type systems. In particular, we consider the case of pr…
cs.PL2021
A Decentralized Analysis of Multiparty Protocols
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…