Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Heuvel, Bas van den"'
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong correctness properties for processes. This problem is constrained by the
Externí odkaz:
http://arxiv.org/abs/2411.07714
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) observer, who may interact with the program and draw inference from made
Externí odkaz:
http://arxiv.org/abs/2407.02304
Autor:
Heuvel, Bas van den
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 messages). It is crucial to develop robust methods that can give relia
Externí odkaz:
http://arxiv.org/abs/2402.09595
Autor:
Heuvel, Bas van den, Pérez, Jorge A.
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 logical foundations via Curry-Howard correspondences with linear logic,
Externí odkaz:
http://arxiv.org/abs/2401.14763
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. We improve over prior works by (i) supporting components whose exact
Externí odkaz:
http://arxiv.org/abs/2306.04204
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 foundations of message-passing concurrency. Central to this approach is
Externí odkaz:
http://arxiv.org/abs/2209.05421
Autor:
Heuvel, Bas van den, Pérez, Jorge A.
Publikováno v:
EPTCS 368, 2022, pp. 75-94
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 concurrent evaluation and for cyclic network topologies. The design of CGV
Externí odkaz:
http://arxiv.org/abs/2209.06820
Autor:
Heuvel, Bas van den, Pérez, Jorge A.
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 concurrent evaluation and for cyclic network topologies. The design of CGV
Externí odkaz:
http://arxiv.org/abs/2208.07644
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 linearity is delicate: careless handling of branches can discard resources mea
Externí odkaz:
http://arxiv.org/abs/2205.00680
Autor:
Heuvel, Bas van den, Pérez, Jorge A.
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 4 (October 7, 2024) lmcs:10128
We tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. Our contributions are twofold. First, we present Asynchronous Priority-based Classical Process
Externí odkaz:
http://arxiv.org/abs/2111.13091