Copertina

Better Bounded Bisimulation Contractions (Preprint)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bolander, Thomas, Burigana, Alessandro
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Branching Bisimulation Learning
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Bisimulation Learning
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
di: de Frutos-Escrig, David, et al.
Pubblicazione: (2024)

Finitary Truly Concurrent Bisimulations
di: Wang, Yong
Pubblicazione: (2026)

Lowerbounds for Bisimulation by Partition Refinement
di: Groote, Jan Friso, et al.
Pubblicazione: (2022)

A Spectrum of Approximate Probabilistic Bisimulations
di: Spork, Timm, et al.
Pubblicazione: (2024)

Relating Apartness and Branching Bisimulation Games
di: Rot, Jurriaan, et al.
Pubblicazione: (2024)

Aczel-Mendler Bisimulations in a Regular Category
di: Dubut, Jeremy
Pubblicazione: (2023)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
di: Alrahman, Yehia Abd, et al.
Pubblicazione: (2025)

A Strong Bisimulation for a Classical Term Calculus
di: Bonelli, Eduardo, et al.
Pubblicazione: (2021)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
di: Suilen, Marnix, et al.
Pubblicazione: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
di: Spork, Timm, et al.
Pubblicazione: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
di: de Amorim, Pedro H. Azevedo, et al.
Pubblicazione: (2026)

A Coalgebraic Model of Quantum Bisimulation
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2025)

Bisimulation for Impure Simplicial Complexes
di: Bílková, Marta, et al.
Pubblicazione: (2024)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
di: Achammer, Fabian, et al.
Pubblicazione: (2025)

Composing Codensity Bisimulations
di: Kori, Mayuko, et al.
Pubblicazione: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
di: Zouari, Safa, et al.
Pubblicazione: (2024)

Bisimulation for Feller-Dynkin Processes
di: Chen, Linan, et al.
Pubblicazione: (2019)

Relational Dualities and Bisimulation
di: Kozicki, Piotr, et al.
Pubblicazione: (2026)

Positive Hennessy-Milner Logic for Branching Bisimulation
di: Geuvers, Herman, et al.
Pubblicazione: (2022)

On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)

Sound Conflict Analysis for Timed Contract Automata
di: Azzopardi, Shaun, et al.
Pubblicazione: (2024)

Contractions of quasi relation algebras and applications to representability
di: Craig, Andrew, et al.
Pubblicazione: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
di: Mannucci, Mirco A., et al.
Pubblicazione: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
di: Mannucci, Mirco A., et al.
Pubblicazione: (2026)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
di: Dewes, Rafael, et al.
Pubblicazione: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
di: Powell, Thomas
Pubblicazione: (2023)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
di: Gu, Chao, et al.
Pubblicazione: (2020)

Bounded Rewriting Induction for LCSTRSs
di: Hagens, Kasper, et al.
Pubblicazione: (2026)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
di: Glomsrud, Jon Arne, et al.
Pubblicazione: (2024)

On Lower Bounding Minimal Model Count
di: Kabir, Mohimenul, et al.
Pubblicazione: (2024)

Technical Report: Time-Bounded Resilience
di: Kirigin, Tajana Ban, et al.
Pubblicazione: (2024)

Complex Bounded Operators in Isabelle/HOL
di: Unruh, Dominique, et al.
Pubblicazione: (2025)

Monitoring the Future of Smart Contracts
di: Capretto, Margarita, et al.
Pubblicazione: (2024)

Logical foundations of Smart Contracts
di: Kalala, Kalonji
Pubblicazione: (2025)

Better Extension Variables in DQBF via Independence
di: Chew, Leroy, et al.
Pubblicazione: (2025)