Buchumschlag

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Heuvel, Bas van den, Pérez, Jorge A.
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Comparing Session Type Systems derived from Linear Logic
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Information Flow Control in Cyclic Process Networks
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Asynchronous Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2026)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2025)

On Asynchronous Multiparty Session Types for Federated Learning
von: Prokić, Ivan, et al.
Veröffentlicht: (2025)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
von: Pears, Jonah, et al.
Veröffentlicht: (2024)

Fair Asynchronous Session Subtyping
von: Bravetti, Mario, et al.
Veröffentlicht: (2021)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Deadlock in packet switching networks
von: Stramaglia, Anna, et al.
Veröffentlicht: (2021)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2024)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

Cyclic Implicit Complexity
von: Curzi, Gianluca, et al.
Veröffentlicht: (2021)

A Session Type System for Asynchronous Unreliable Broadcast Communication
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2019)

Partial Typing for Asynchronous Multiparty Sessions
von: Barbanera, Franco, et al.
Veröffentlicht: (2024)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

Cyclic Proofs for iGL via Corecursion
von: Miranda, Borja Sierra
Veröffentlicht: (2023)

Computation and Concurrency
von: Wang, Yong
Veröffentlicht: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Around Classical and Intuitionistic Linear Processes
von: Jaramillo, Juan C., et al.
Veröffentlicht: (2024)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
von: Rowicki, Radosław Jan, et al.
Veröffentlicht: (2025)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

On Propositional Dynamic Logic and Concurrency
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

The Qualitative Collapse of Concurrent Games
von: Clairambault, Pierre
Veröffentlicht: (2024)

Unifying Asynchronous Logics for Hyperproperties
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2024)

Structural Operational Semantics for True Concurrency
von: Wang, Yong
Veröffentlicht: (2026)

Modular Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2025)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
von: Paulus, Joseph W. N., et al.
Veröffentlicht: (2021)

FTMPST: Fault-Tolerant Multiparty Session Types
von: Peters, Kirstin, et al.
Veröffentlicht: (2022)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
von: Cecilia, Gabriele
Veröffentlicht: (2025)

LPrL: An Asynchronous Linear Time Hyper Logic
von: Duggirala, Parasara Sridhar, et al.
Veröffentlicht: (2025)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
von: Spronck, Myrthe, et al.
Veröffentlicht: (2024)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
von: Bortin, Maksym
Veröffentlicht: (2020)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
von: Peters, Kirstin, et al.
Veröffentlicht: (2024)

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
von: Blechschmidt, Paula
Veröffentlicht: (2025)

Antichains for Concurrent Parameterized Games
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2025)

Concurrent Strategies on Games with Algebras
von: Huriot-Tattegrain, Sacha, et al.
Veröffentlicht: (2024)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
von: Kontinen, Juha, et al.
Veröffentlicht: (2024)