4 results
Mario Bravetti ; Cinzia Di Giusto ; Jorge A Perez ; Gianluigi Zavattaro.
We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the […]
Published on November 19, 2012
Claudio Antares Mezzina ; Jorge A. Pérez.
In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to […]
Published on October 1, 2021
Joseph W. N. Paulus ; Daniele Nantes-Sobrinho ; Jorge A. Pérez.
We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail, a new non-deterministic calculus in which intersection types control resources (terms); on the concurrent side, we […]
Published on October 10, 2023
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 twofold. First, we present Asynchronous Priority-based Classical Processes (APCP), a session-typed process framework that […]
Published on November 13, 2024