Copertina

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kanovich, Max, Kirigin, Tajana Ban, Nigam, Vivek, Scedrov, Andre, Talcott, Carolyn
Natura:	Preprint
Pubblicazione:	2016
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Timed Strategies for Real-Time Rewrite Theories
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Binding Contexts as Partitionable Multisets in Abella
di: Gray, Terrance, et al.
Pubblicazione: (2024)

Multisets and Distributions
di: Kozen, Dexter, et al.
Pubblicazione: (2023)

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

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
di: Bernardo, Marco, et al.
Pubblicazione: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

Confluence of Logically Constrained Rewrite Systems Revisited
di: Schöpf, Jonas, et al.
Pubblicazione: (2024)

Drag Rewriting
di: Dershowitz, Nachum, et al.
Pubblicazione: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
di: Ahrens, Emma, et al.
Pubblicazione: (2025)

Automated Analysis of Logically Constrained Rewrite Systems using crest
di: Schöpf, Jonas, et al.
Pubblicazione: (2025)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
di: Schöpf, Jonas, et al.
Pubblicazione: (2023)

Rewriting and Inductive Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

Templates in Rewriting Induction
di: Hagens, Kasper, et al.
Pubblicazione: (2026)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
di: Nemati, Hamed, et al.
Pubblicazione: (2025)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
di: Baader, Franz, et al.
Pubblicazione: (2024)

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

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
di: Nishida, Naoki, et al.
Pubblicazione: (2025)

Time-Sensitive Importance Splitting
di: Dengler, Gabriel, et al.
Pubblicazione: (2025)

A Topological Rewriting of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Verification of Configurable SRA Systems
di: Cimatti, Alessandro, et al.
Pubblicazione: (2026)

A Rewriting Theory for Quantum Lambda-Calculus
di: Faggian, Claudia, et al.
Pubblicazione: (2024)

On Problems Dual to Unification: The String-Rewriting Case
di: Akçam, Zümrüt, et al.
Pubblicazione: (2021)

Omega-regular Verification and Control for Distributional Specifications in MDPs
di: Akshay, S., et al.
Pubblicazione: (2025)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
di: Chen, Hubie, et al.
Pubblicazione: (2024)

Nominal Equational Rewriting and Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Runtime Verification for LTL in Stochastic Systems
di: Esparza, Javier, et al.
Pubblicazione: (2025)

Formalizing Representation Theorems for a Logical Framework with Rewriting
di: Traversié, Thomas, et al.
Pubblicazione: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
di: Ehrhard, Thomas, et al.
Pubblicazione: (2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
di: Fernández, Maribel, et al.
Pubblicazione: (2025)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
di: André, Étienne, et al.
Pubblicazione: (2023)

A Dependency Pair Framework for Relative Termination of Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2024)

Left-Linear Rewriting in Adhesive Categories
di: Baldan, Paolo, et al.
Pubblicazione: (2024)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
di: Meseguer, Jose
Pubblicazione: (2024)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2023)