Image de couverture de livre

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Cecilia, Gabriele
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga (artifact)
par: Cecilia, Gabriele
Publié: (2025)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
par: Cecilia, Gabriele, et autres
Publié: (2024)

A Truly Concurrent Semantics for Reversible CCS
par: Melgratti, Hernán, et autres
Publié: (2023)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

The Flower Calculus
par: Donato, Pablo
Publié: (2024)

Reasonable Space for the $λ$-Calculus, Logarithmically
par: Accattoli, Beniamino, et autres
Publié: (2022)

The Tensor-Plus Calculus
par: Chardonnet, Kostia, et autres
Publié: (2025)

Computation and Concurrency
par: Wang, Yong
Publié: (2024)

A Sequent Calculus For Trace Formula Implication
par: Heidler, Niklas, et autres
Publié: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
par: Faggian, Claudia, et autres
Publié: (2024)

Quantitative Types for the Functional Machine Calculus
par: Heijltjes, Willem
Publié: (2025)

Groups and Inverse Semigroups in Lambda Calculus
par: Bucciarelli, Antonio, et autres
Publié: (2026)

Six Birds: Foundations of Emergence Calculus
par: Tsiokos, Ioannis
Publié: (2026)

Proofs as Execution Trees for the π-Calculus
par: Acclavio, Matteo, et autres
Publié: (2024)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
par: Torres-Ruiz, Mateo, et autres
Publié: (2025)

A Classical Linear $λ$-Calculus based on Contraposition
par: Barenbaum, Pablo, et autres
Publié: (2026)

A Strong Bisimulation for a Classical Term Calculus
par: Bonelli, Eduardo, et autres
Publié: (2021)

A Deductive Refinement Calculus for Differential-Algebraic Programs
par: Hellwig, Jonathan, et autres
Publié: (2026)

Finitary Truly Concurrent Bisimulations
par: Wang, Yong
Publié: (2026)

On Propositional Dynamic Logic and Concurrency
par: Acclavio, Matteo, et autres
Publié: (2024)

The Qualitative Collapse of Concurrent Games
par: Clairambault, Pierre
Publié: (2024)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
par: Irani, Khashayar
Publié: (2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
par: Gao, Han, et autres
Publié: (2025)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
par: Genco, Francesco A., et autres
Publié: (2023)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
par: Ernst, Gidon
Publié: (2026)

Nested-sequent Calculus for Modal Logic MB
par: Kawano, Tomoaki
Publié: (2024)

Substitution in the lambda Calculus and the role of the Curry School
par: Kamareddine, Fairouz
Publié: (2024)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
par: Becker, Justus
Publié: (2025)

Structural Operational Semantics for True Concurrency
par: Wang, Yong
Publié: (2026)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
par: Fang, Liangda, et autres
Publié: (2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
par: Kalala, Kalonji, et autres
Publié: (2025)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

The Functional Machine Calculus III: Choice (Early Announcement)
par: Heijltjes, Willem
Publié: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
par: Traversié, Thomas
Publié: (2024)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
par: Nakamura, Yoshiki
Publié: (2024)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
par: Bortin, Maksym
Publié: (2020)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
par: Santo, José Espírito, et autres
Publié: (2022)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
par: Chen, Chen, et autres
Publié: (2025)