26 citations · 51 across the 13 of their papers we have counts for
Showing 2021 · cs.LOShow all
2 papers · 2 filters
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…