Copertina

A unified rule format for bounded nondeterminism in SOS with terms as labels

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Aceto, Luca, Fábregas, Ignacio, García-Pérez, Álvaro, Ingólfsdóttir, Anna
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

Logical characterisations, rule formats and compositionality for input-output conformance simulation
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Rule Formats for Nominal Process Calculi
di: Aceto, Luca, et al.
Pubblicazione: (2024)

When Are Prime Formulae Characteristic?
di: Aceto, Luca, et al.
Pubblicazione: (2024)

On the specification of modal systems: A comparison of three frameworks
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Deciding characteristic formulae: A journey in the branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Complexity results for modal logic with recursion via translations and tableaux
di: Aceto, Luca, et al.
Pubblicazione: (2023)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Non-strongly Stable Orders Also Define Interesting Simulation Relations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

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

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

Logics for Contravariant Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

The strength of the dominance rule
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
di: Nogueira, Pablo, et al.
Pubblicazione: (2022)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Centralized vs Decentralized Monitors for Hyperproperties
di: Aceto, Luca, et al.
Pubblicazione: (2024)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Bringing memory to Boolean networks: a unifying framework
di: Gadouleau, Maximilien, et al.
Pubblicazione: (2024)

On the consistency of stronger lower bounds for NEXP
di: Thapen, Neil
Pubblicazione: (2025)

A new introduction rule for disjunction
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Induction rules for Transition Algebra
di: Hashimoto, Go
Pubblicazione: (2026)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
di: Mironov, Andrew M.
Pubblicazione: (2025)

Existential and positive games: a comonadic and axiomatic view
di: Abramsky, Samson, et al.
Pubblicazione: (2025)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
di: Jansen, David N., et al.
Pubblicazione: (2019)

Towards the type safety of Pure Subtype Systems (Full version)
di: Pasquale, Valentin, et al.
Pubblicazione: (2024)

Profinite lambda-terms and parametricity
di: van Gool, Sam, et al.
Pubblicazione: (2023)

A framework for computing upper bounds in passive learning settings
di: Bordais, Benjamin, et al.
Pubblicazione: (2025)

On the Axioms of Arboreal Categories
di: Jakl, Tomáš, et al.
Pubblicazione: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

A General Automata Model for First-Order Temporal Logics (Extended Version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Order-invariant cluster first-order logic on graph classes of bounded degree
di: Ghasemi, Fatemeh, et al.
Pubblicazione: (2026)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
di: Mottet, Antoine, et al.
Pubblicazione: (2021)

Finitely accessible arboreal adjunctions and Hintikka formulae
di: Reggio, Luca, et al.
Pubblicazione: (2023)

Lower bounds for set-blocked clauses proofs
di: Yolcu, Emre
Pubblicazione: (2024)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
di: Adler, Isolde, et al.
Pubblicazione: (2025)

The QBF Gallery 2023
di: Heisinger, Simone, et al.
Pubblicazione: (2026)