26 citations · 51 across the 13 of their papers we have counts for
14 papers
Information Flow Control in Cyclic Process Networks
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
Protection of confidential data is an important security consideration of today's applications. Of particular concern is to guard against unintentional leakage to a (malicious) obs…
Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
Bas van den Heuvel
Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging…
Comparing Session Type Systems derived from Linear Logic
Bas van den Heuvel, Jorge A. Pérez
Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong l…
Monitoring Blackbox Implementations of Multiparty Session Protocols
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types…
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel +1
The emergence of propositions-as-sessions, a Curry-Howard correspondence between propositions of Linear Logic and session types for concurrent processes, has settled the logical fo…
Typed Non-determinism in Functional and Concurrent Calculi
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho +1
We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay between non-determinism and linearit…
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…
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…
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…
Glueballs on the three-sphere
Bas van den Heuvel
We study the non-perturbative effects of the global features of the configuration space for SU(2) gauge theory on the three-sphere. The strategy is to reduce the full problem to an…
Glueballs on S^3
Bas van den Heuvel
For SU(2) gauge theory on the three-sphere we study the dynamics of the low-energy modes. By explicitely integrating out the high-energy modes, the one-loop correction to the hamil…
Glueball Spectroscopy on S^3
Bas van den Heuvel
For SU(2) gauge theory on the three-sphere we implement the influence of the boundary of the fundamental domain, and in particular the -dependence, on a subspace of low-energy m…
Dynamics on the SU(2) fundamental domain
Bas van den Heuvel, Pierre van Baal
For SU(2) gauge theory on the three-sphere we focus on a subspace of modes of the gauge field that contains the tunnelling paths and the sphalerons and on which the energy function…
Zooming-in on the SU(2) fundamental domain
Pierre van Baal, Bas van den Heuvel
For SU(2) gauge theories on the three-sphere we analyse the Gribov horizon and the boundary of the fundamental domain in the 18 dimensional subspace that contains the tunnelling pa…