Copertina

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

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Cecilia, Gabriele
Natura:	Recurso digital
Pubblicazione:	Zenodo 2025
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

A Brief Survey of Formal Models of Concurrency
di: Averill, Charles
Pubblicazione: (2024)

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

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

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

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

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

AIGROW-artifact
di: Dong, Yibo
Pubblicazione: (2025)

Vaddr-artifact
di: HU, YUHANG
Pubblicazione: (2025)

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

EditFlow-artifacts
di: Liu, Chenyan
Pubblicazione: (2026)

AgentRaft_artifacts
di: anonymous, anonymous
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

Toward a formalization of artifacts in GFO
di: Fiegenbaum, Hanna
Pubblicazione: (2024)

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

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

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

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

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

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

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

Embedding Calculus, Goodwillie Calculus and Link Invariants
di: Jin, Hyeonhee
Pubblicazione: (2025)

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

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

A Calculus of Inheritance
di: Yang, Bo
Pubblicazione: (2026)

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