Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
4 results

Adaptable processes

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&nbsp;[&hellip;]
Published on November 19, 2012

Causal Consistency for Reversible Multiparty Protocols

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&nbsp;[&hellip;]
Published on October 1, 2021

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

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&nbsp;[&hellip;]
Published on October 10, 2023

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 twofold. First, we present Asynchronous Priority-based Classical Processes (APCP), a session-typed process framework that&nbsp;[&hellip;]
Published on November 13, 2024

  • < Previous
  • 1
  • Next >