9 citations · 11 across the 7 of their papers we have counts for
7 papers
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…
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…
Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus +1
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong cor…
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version)
Bas van den Heuvel, Jorge A. Pérez
We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concu…
Asynchronous Functional Sessions: Cyclic and Concurrent
Bas van den Heuvel, Jorge A. Pérez
We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concu…
Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Bas van den Heuvel, Jorge A. Pérez
Session type systems have been given logical foundations via Curry-Howard correspondences based on both intuitionistic and classical linear logic. The type systems derived from the…
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.