26 citations · 51 across the 13 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.LO2024
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…
cs.LO2024
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…
cs.LO2024
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…