Buchumschlag

Synchronizability of Communicating Finite State Machines is not Decidable

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Finkel, Alain, Lozes, Etienne
Format:	Preprint
Veröffentlicht:	2017
Schlagworte:	Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

HistMSO: A Logic for Reasoning about Consistency Models with MONA
von: Coget, Isabelle, et al.
Veröffentlicht: (2026)

State machines for large scale computer software and systems
von: Yodaiken, Victor
Veröffentlicht: (2016)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
von: Guillou, Lucie, et al.
Veröffentlicht: (2023)

Verifying Randomized Consensus Protocols with Common Coins
von: Gao, Song, et al.
Veröffentlicht: (2024)

Population Protocols over Ordered Agents
von: Blondin, Michael, et al.
Veröffentlicht: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
von: Lossin, Benno, et al.
Veröffentlicht: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
von: Wang, Chao, et al.
Veröffentlicht: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
von: Kenwright, Logan, et al.
Veröffentlicht: (2024)

2-Coloring Cycles in One Round
von: Flin, Maxime, et al.
Veröffentlicht: (2026)

Deciding Serializability in Network Systems
von: Amir, Guy, et al.
Veröffentlicht: (2026)

Complete Multiparty Session Type Projection with Automata
von: Li, Elaine, et al.
Veröffentlicht: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
von: Li, Elaine, et al.
Veröffentlicht: (2026)

Classification of Local Optimization Problems in Directed Cycles
von: Boudier, Thomas, et al.
Veröffentlicht: (2026)

Smart Casual Verification of the Confidential Consortium Framework
von: Howard, Heidi, et al.
Veröffentlicht: (2024)

On defining and modeling context-awareness
von: Rodis, Panteleimon
Veröffentlicht: (2026)

Decidability Issues for Petri Nets -- a survey
von: Esparza, Javier, et al.
Veröffentlicht: (2024)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2024)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
von: Bollig, Benedikt, et al.
Veröffentlicht: (2026)

Mixed Choice in Asynchronous Multiparty Session Types
von: Bocchi, Laura, et al.
Veröffentlicht: (2026)

Types for Grassroots Logic Programs
von: Shapiro, Ehud
Veröffentlicht: (2026)

On the Impact of the Communication Model on Realisability
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)

LLM-based policy generation for intent-based management of applications
von: Dzeparoska, Kristina, et al.
Veröffentlicht: (2024)

Realisability and Complementability of Multiparty Session Types
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)

Computing Inductive Invariants of Regular Abstraction Frameworks
von: Czerner, Philipp, et al.
Veröffentlicht: (2024)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
von: Finkel, Alain, et al.
Veröffentlicht: (2025)

Soundness of reset workflow nets
von: Blondin, Michael, et al.
Veröffentlicht: (2025)

Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
von: Prabhu, Shreekanth M, et al.
Veröffentlicht: (2023)

Active Inference of Extended Finite State Machine Models with Registers and Guards
von: Groz, Roland, et al.
Veröffentlicht: (2026)

Tokenization as Finite-State Transduction
von: Cognetta, Marco, et al.
Veröffentlicht: (2024)

Deciding Subtyping for Asynchronous Multiparty Sessions
von: Li, Elaine, et al.
Veröffentlicht: (2024)

On Decidability and Expressive Power of Fusion Grammars
von: Pshenitsyn, Tikhon
Veröffentlicht: (2023)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
von: Roop, Partha, et al.
Veröffentlicht: (2026)

On Decidability Timed Automata with 2 Parametric Clocks
von: Bersani, Marcello M., et al.
Veröffentlicht: (2025)

Studying homing and synchronizing sequences for Timed Finite State Machines with output delays
von: Vinarskii, Evgenii, et al.
Veröffentlicht: (2025)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
von: Bizière, Clotilde, et al.
Veröffentlicht: (2024)

Practical Livelock Analysis in Parameterized Unidirectional Rings
von: Farahat, Aly
Veröffentlicht: (2026)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
von: Gallot, Paul, et al.
Veröffentlicht: (2023)

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
von: Maneth, Sebastian, et al.
Veröffentlicht: (2023)

Fast and General Automatic Differentiation for Finite-State Methods
von: Yang, Lucas Ondel, et al.
Veröffentlicht: (2026)

Efficient Constructions of Finite-State Independent Normal Pairs
von: Pulari, Subin
Veröffentlicht: (2026)