:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Prokić, Ivan, Prokić, Simona, Ghilezan, Silvia, Scalas, Alceste, Yoshida, Nobuko
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2504.21108
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Crash-Stop Failures in Asynchronous Multiparty Session Types
por: Barwell, Adam D., et al.
Publicado: (2023)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
por: Peters, Kirstin, et al.
Publicado: (2024)

List types for resource aware languages: an implicit name approach
por: Ghilezan, Silvia, et al.
Publicado: (2021)

Asynchronous Multiparty Sessions with Mixed Choice
por: Barbanera, Franco, et al.
Publicado: (2026)

Partial Typing for Asynchronous Multiparty Sessions
por: Barbanera, Franco, et al.
Publicado: (2024)

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

FTMPST: Fault-Tolerant Multiparty Session Types
por: Peters, Kirstin, et al.
Publicado: (2022)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
por: Marković, Petar, et al.
Publicado: (2026)

COTS: Connected OpenAPI Test Synthesis for RESTful Applications
por: Burlò, Christian Bartolo, et al.
Publicado: (2024)

Modular Multiparty Sessions with Mixed Choice
por: Barbanera, Franco, et al.
Publicado: (2025)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
por: Bartl, Lukas, et al.
Publicado: (2025)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
por: Pears, Jonah, et al.
Publicado: (2024)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
por: Casetta, Richard, et al.
Publicado: (2026)

Unreliability in Practical Subclasses of Communicating Systems
por: Suresh, Amrita, et al.
Publicado: (2025)

Fair Asynchronous Session Subtyping
por: Bravetti, Mario, et al.
Publicado: (2021)

Checkpoint-based rollback recovery in session programming
por: Mezzina, Claudio Antares, et al.
Publicado: (2023)

A Session Type System for Asynchronous Unreliable Broadcast Communication
por: Kouzapas, Dimitrios, et al.
Publicado: (2019)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
por: Heuvel, Bas van den, et al.
Publicado: (2021)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
por: Hou, Ping, et al.
Publicado: (2024)

Hybrid Multiparty Session Types -- Full Version
por: Gheri, Lorenzo, et al.
Publicado: (2023)

Principal Typing for Intersection Types, Forty-Five Years Later
por: Pautasso, Daniele, et al.
Publicado: (2026)

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
por: Blechschmidt, Paula
Publicado: (2025)

Comparing Session Type Systems derived from Linear Logic
por: Heuvel, Bas van den, et al.
Publicado: (2024)

Linear Contextual Metaprogramming and Session Types
por: Ângelo, Pedro, et al.
Publicado: (2024)

The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
por: Brady, Zarathustra, et al.
Publicado: (2026)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
por: Udomsrirungruang, Thien, et al.
Publicado: (2024)

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

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
por: Derakhshan, Farzaneh, et al.
Publicado: (2024)

Unifying Asynchronous Logics for Hyperproperties
por: Bombardelli, Alberto, et al.
Publicado: (2024)

Fair Termination of Asynchronous Binary Sessions
por: Padovani, Luca, et al.
Publicado: (2025)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

LPrL: An Asynchronous Linear Time Hyper Logic
por: Duggirala, Parasara Sridhar, et al.
Publicado: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
por: Mannucci, Mirco A., et al.
Publicado: (2026)

On 2-generated minimal Taylor algebras of size 4
por: Brady, Zarathustra, et al.
Publicado: (2026)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
por: Kontinen, Juha, et al.
Publicado: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
por: Bombardelli, Alberto, et al.
Publicado: (2023)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
por: Heuvel, Bas van den
Publicado: (2024)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
por: Giunti, Marco, et al.
Publicado: (2025)

Basis-Sensitive Quantum Typing via Realisability
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)