Cover Image

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga (artifact)

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Cecilia, Gabriele
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
by: Cecilia, Gabriele
Published: (2025)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

$φ$-Calculus: Object-Oriented Formalism
by: Bugayenko, Yegor, et al.
Published: (2021)

A Brief Survey of Formal Models of Concurrency
by: Averill, Charles
Published: (2024)

A Truly Concurrent Semantics for Reversible CCS
by: Melgratti, Hernán, et al.
Published: (2023)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach
by: Schlapbach, Andreas
Published: (2026)

Reasonable Space for the $λ$-Calculus, Logarithmically
by: Accattoli, Beniamino, et al.
Published: (2022)

μACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication
by: Mallick, Arnab, et al.
Published: (2026)

AIGROW-artifact
by: Dong, Yibo
Published: (2025)

Vaddr-artifact
by: HU, YUHANG
Published: (2025)

Beluga: Block Synchronization for BFT Consensus Protocols
by: Kichidis, Tasos, et al.
Published: (2025)

EditFlow-artifacts
by: Liu, Chenyan
Published: (2026)

AgentRaft_artifacts
by: anonymous, anonymous
Published: (2026)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

Spotting tell-tale visual artifacts in face swapping videos: strengths and pitfalls of CNN detectors
by: Ziglio, Riccardo, et al.
Published: (2025)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
by: Schaefer, Steven, et al.
Published: (2025)

Cook Inlet Belugas, Delphinapterus leucas: Status and Overview
by: Moore, Sue E., et al.
Published: (2000)

Drinking artifact on scalp‐ EEG
by: Saeideh Salehizadeh, et al.
Published: (2025)

EEG artifact caused by earthquake
by: Maria A. Montenegro
Published: (2025)

Beluga Whale Detection from Satellite Imagery with Point Labels
by: Zheng, Yijie, et al.
Published: (2025)

Beluga, Delphinapterus leucas, Distribution and Survey Effort in the Gulf of Alaska
by: Laidre, Kristin L., et al.
Published: (2000)

Beluga, Delphinapterus leucas, Habitat Associations in Cook Inlet, Alaska
by: Moore, Sue E., et al.
Published: (2000)

Harvest History of Belugas, Delphinapterus leucas, in Cook Inlet, Alaska
by: Mahoney, Barbara A., et al.
Published: (2000)

Gynogenesis in Persian sturgeon (Acipenser persicus) and Beluga (Huso huso)
by: Pourkazemi, M., et al.
Published: (2010)

Calculus rules for proximal ε-subdifferentials and inexact proximity operators for weakly convex functions
by: Bednarczuk, Ewa, et al.
Published: (2022)

Emergent knowledge patterns in verification artifacts
by: Sukhwan Jung, et al.
Published: (2024)

Toward a formalization of artifacts in GFO
by: Fiegenbaum, Hanna
Published: (2024)

Comment on "electrostaic sampler for semivolatile aerosols: chemical artifacts" and "filter and electrostatic samplers for semivolatile aerosols: physical artifacts"
Published: (2003)

Beluga Whale ( Delphinapterus leucas ) Behavior Towards a Dead Conspecific
by: Justine M. Hudson, et al.
Published: (2025)

(Table 1) Beluga (Delphinapterus leucas) sightings in the eastern Beaufort Sea
by: Asselin, Natalie C, et al.
Published: (2011)

Comparison of Beluga (Huso huso) growth rate in brackish and fresh-water
by: Pourali Fashtami, H.R., et al.
Published: (2006)

Traditional Knowledge of the Ecology of Belugas, Delphinapterus leucas, in Cook Inlet, Alaska
by: Huntington , Henry P.
Published: (2002)

Abundance of Belugas, Delphinapterus leucas, in Cook Inlet, Alaska, 1994–2000
by: Hobbs, Roderick C., et al.
Published: (2000)

Assessing test artifact quality -- A tertiary study
by: Tran, Huynh Khanh Vi, et al.
Published: (2024)

Embedding Calculus, Goodwillie Calculus and Link Invariants
by: Jin, Hyeonhee
Published: (2025)

Beluga: A CXL-Based Memory Architecture for Scalable and Efficient LLM KVCache Management
by: Yang, Xinjun, et al.
Published: (2025)

Response to comment of "Electrostatic sampler for semivolatile aerosols: chemical artifacts" and "filter and elctrostatic samplers for semivolatile aerosols: physical artifacts"
Published: (2003)

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

Formal derivation of an inversion formula for the approximation of interface defects by means of active thermography
by: Inglese, Gabriele, et al.
Published: (2023)