Buchumschlag

State machines for large scale computer software and systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yodaiken, Victor
Format:	Preprint
Veröffentlicht:	2016
Schlagworte:	Formal Languages and Automata Theory Distributed, Parallel, and Cluster Computing
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synchronizability of Communicating Finite State Machines is not Decidable
von: Finkel, Alain, et al.
Veröffentlicht: (2017)

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)

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)

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

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

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

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

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

Digital Circuits as Moore Machines
von: Yodaiken, Victor
Veröffentlicht: (2010)

Standard Automata Theory and Process Algebra
von: Yodaiken, Victor
Veröffentlicht: (2022)

Networks of Moore Machines
von: Yodaiken, Victor
Veröffentlicht: (2015)

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)

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

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

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

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

On the complexity of computing Strahler numbers
von: Ganardi, Moses, et al.
Veröffentlicht: (2025)

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

Recursive numeral systems are highly regular and easy to process
von: Prasertsom, Ponrawee, 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)

Operational State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

Waiting Nets: State Classes and Taxonomy
von: Hélouët, Loïc, et al.
Veröffentlicht: (2022)

On the Representation and State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

The theory of reachability in trace-pushdown systems
von: Kuske, Dietrich
Veröffentlicht: (2025)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
von: German, Samuel
Veröffentlicht: (2026)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

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)

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

State estimation of timed automata under partial observation [Draft version]
von: Gao, Chao, et al.
Veröffentlicht: (2024)