9 citations · 11 across the 5 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
Bas van den Heuvel, Martin Sulzmann, Peter Thiemann
Deadlocks are a major source of bugs in concurrent programs. They are hard to predict, because they may only occur under specific scheduling conditions. Dynamic analysis attempts t…
cs.PL2024
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
Bas van den Heuvel, Jorge A. Pérez
While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous commu…
cs.PL2018
The process of purely event-driven programs
Bas van den Heuvel
Using process algebra, this paper describes the formalisation of the process/semantics behind the purely event-driven programming language.