Buchumschlag

Typed Non-determinism in Concurrent Calculi: The Eager Way

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Heuvel, Bas van den, Nantes-Sobrinho, Daniele, Paulus, Joseph W. N., Pérez, Jorge A.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

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

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

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2025)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2021)

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

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
von: Meyer, Roland, et al.
Veröffentlicht: (2024)

Lax Modal Lambda Calculi
von: Valliappan, Nachiappan
Veröffentlicht: (2025)

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

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

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

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, 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)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
von: Fernández, Maribel, et al.
Veröffentlicht: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
von: Haak, Lars B. van den, et al.
Veröffentlicht: (2024)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

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

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
von: Timany, Amin, et al.
Veröffentlicht: (2021)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
von: Sulzmann, Martin
Veröffentlicht: (2026)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2025)

Strong Nominal Semantics for Fixed-Point Constraints
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2024)

Four Formal Models of IEEE 1394 Link Layer
von: Garavel, Hubert, et al.
Veröffentlicht: (2024)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
von: Cerda, Rémy
Veröffentlicht: (2025)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
von: Nantes-Sobrinho, Daniele, et al.
Veröffentlicht: (2025)

Type Theory With Erasure
von: Theocharis, Constantine, et al.
Veröffentlicht: (2026)

Orthologic Type Systems
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

Layered Modal Type Theories
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2023)

Dependent Type Refinements for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2023)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
von: Matsuoka, Satoshi
Veröffentlicht: (2026)

Concurrent Games over Relational Structures: The Origin of Game Comonads
von: Montacute, Yoàv, et al.
Veröffentlicht: (2024)

Types, equations, dimensions and the Pi theorem
von: Botta, Nicola, et al.
Veröffentlicht: (2023)