Image de couverture de livre

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jaber, Guilhem, Sangiorgi, Davide
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science 68N15, 68Q85, 03B70
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
par: van der Meyden, Ron
Publié: (2025)

Behavioural Conformances based on Lax Couplings
par: Wild, Paul, et autres
Publié: (2025)

The complexity of being monitorable
par: Camerlo, Riccardo, et autres
Publié: (2026)

Reversible computations are computations
par: Aubert, Clément, et autres
Publié: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
par: Forster, Jonas, et autres
Publié: (2026)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
par: Alpay, Faruk, et autres
Publié: (2025)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
par: Alpay, Faruk, et autres
Publié: (2026)

Refutability as Recursive as Provability
par: Cattabriga, Paola
Publié: (2024)

Normalization properties of $λμ$-calculus using realizability semantics
par: Battyanyi, Peter, et autres
Publié: (2023)

On Halting vs Converging in Recurrent Graph Neural Networks
par: Bollen, Jeroen, et autres
Publié: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
par: Prunescu, Mihai, et autres
Publié: (2025)

Choiceless Polynomial Space
par: Ferrarotti, Flavio, et autres
Publié: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
par: Forster, Jonas, et autres
Publié: (2023)

Relational Connectors and Heterogeneous Bisimulations
par: Nora, Pedro, et autres
Publié: (2024)

Matching logic -- a new axiomatization
par: Leuştean, Laurenţiu, et autres
Publié: (2025)

Notes on applicative matching logic
par: Leuştean, Laurenţiu
Publié: (2025)

On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies
par: Gerlach, Raphael, et autres
Publié: (2023)

Higher-Order Pattern Unification Modulo Similarity Relations
par: Dundua, Besik, et autres
Publié: (2025)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
par: Malbos, Philippe, et autres
Publié: (2024)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
par: Wild, Paul, et autres
Publié: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
par: Pradic, Cécilia
Publié: (2024)

Preservation theorems on sparse classes revisited
par: Dawar, Anuj, et autres
Publié: (2024)

Implicit automata in λ-calculi III: affine planar string-to-string functions
par: Pradic, Cécilia, et autres
Publié: (2024)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
par: Pardal, Nina, et autres
Publié: (2024)

Computational Complexity of Model-Checking Quantum Pushdown Systems
par: Lin, Deren, et autres
Publié: (2025)

Unifying lower bounds for algebraic machines, semantically
par: Seiller, Thomas, et autres
Publié: (2018)

The complexity of bisimilarity on pointmass processes
par: Moroni, Martín Santiago, et autres
Publié: (2026)

Domains, Information Frames, and Their Logic
par: Spreen, Dieter
Publié: (2025)

A classification of bisimilarities for general Markov decision processes
par: Moroni, Martín Santiago, et autres
Publié: (2024)

Rewriting Consistent Answers on Annotated Data
par: Kolaitis, Phokion G., et autres
Publié: (2024)

Why the classes P and NP are not well-defined finitarily
par: Anand, Bhupinder Singh
Publié: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
par: Bruse, Florian, et autres
Publié: (2026)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
par: Japaridze, Giorgi
Publié: (2026)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
par: Alpay, Faruk, et autres
Publié: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
par: Ramos, Arthur, et autres
Publié: (2025)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
par: Alpay, Faruk, et autres
Publié: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

Composing Codensity Bisimulations
par: Kori, Mayuko, et autres
Publié: (2024)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
par: Park, Sewon, et autres
Publié: (2016)