Copertina

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Chao, Li, Ruijia, Zhou, Yang, Wu, Peng, Lv, Yi, Liao, Jianwei, Woodcock, Jim, Liu, Zhiming
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verifying Randomized Consensus Protocols with Common Coins
di: Gao, Song, et al.
Pubblicazione: (2024)

State machines for large scale computer software and systems
di: Yodaiken, Victor
Pubblicazione: (2016)

Population Protocols over Ordered Agents
di: Blondin, Michael, et al.
Pubblicazione: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
di: Lossin, Benno, et al.
Pubblicazione: (2024)

Logical Synchrony Networks: A formal model for deterministic distribution
di: Kenwright, Logan, et al.
Pubblicazione: (2024)

2-Coloring Cycles in One Round
di: Flin, Maxime, et al.
Pubblicazione: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
di: Finkel, Alain, et al.
Pubblicazione: (2017)

Complete Multiparty Session Type Projection with Automata
di: Li, Elaine, et al.
Pubblicazione: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
di: Li, Elaine, et al.
Pubblicazione: (2026)

Classification of Local Optimization Problems in Directed Cycles
di: Boudier, Thomas, et al.
Pubblicazione: (2026)

Smart Casual Verification of the Confidential Consortium Framework
di: Howard, Heidi, et al.
Pubblicazione: (2024)

On defining and modeling context-awareness
di: Rodis, Panteleimon
Pubblicazione: (2026)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
di: Coget, Isabelle, et al.
Pubblicazione: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
di: Guillou, Lucie, et al.
Pubblicazione: (2023)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
di: Ghasemirad, Shabnam, et al.
Pubblicazione: (2024)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
di: Bollig, Benedikt, et al.
Pubblicazione: (2026)

Deciding Serializability in Network Systems
di: Amir, Guy, et al.
Pubblicazione: (2026)

Mixed Choice in Asynchronous Multiparty Session Types
di: Bocchi, Laura, et al.
Pubblicazione: (2026)

Decidability Issues for Petri Nets -- a survey
di: Esparza, Javier, et al.
Pubblicazione: (2024)

Types for Grassroots Logic Programs
di: Shapiro, Ehud
Pubblicazione: (2026)

LLM-based policy generation for intent-based management of applications
di: Dzeparoska, Kristina, et al.
Pubblicazione: (2024)

Computing Inductive Invariants of Regular Abstraction Frameworks
di: Czerner, Philipp, et al.
Pubblicazione: (2024)

Practical Livelock Analysis in Parameterized Unidirectional Rings
di: Farahat, Aly
Pubblicazione: (2026)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
di: Bellier, Dylan, et al.
Pubblicazione: (2026)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
di: Manini, Andrea, et al.
Pubblicazione: (2026)

A Diamond Structure in the Transducer Hierarchy
di: Kaufmann, Noah
Pubblicazione: (2021)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
di: Ye, Kangfeng, et al.
Pubblicazione: (2025)

Knee-Deep in C-RASP: A Transformer Depth Hierarchy
di: Yang, Andy, et al.
Pubblicazione: (2025)

Simulations for Event-Clock Automata
di: Akshay, S, et al.
Pubblicazione: (2022)

Attractor Basins in Concurrent Systems
di: Samboni, Giann Karlo Aguirre, et al.
Pubblicazione: (2024)

Simulation Limitations of Affine Cellular Automata
di: Hudcová, Barbora, et al.
Pubblicazione: (2023)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

A Linear-time Simulation of Deterministic $d$-Limited Automata
di: Rubtsov, Alexander
Pubblicazione: (2023)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
di: Latif, Saba, et al.
Pubblicazione: (2025)

Non-interference analysis of bounded labeled Petri nets
di: Ran, Ning, et al.
Pubblicazione: (2025)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
di: Li, Shuo, et al.
Pubblicazione: (2023)

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions
di: Podolskii, Vladimir, et al.
Pubblicazione: (2024)

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

Query Learning of Advice and Nominal Automata
di: Zhou, Kevin
Pubblicazione: (2024)