Image de couverture de livre

Logical Synchrony Networks: A formal model for deterministic distribution

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kenwright, Logan, Roop, Partha, Allen, Nathan, Lall, Sanjay, Cascaval, Calin, Spalink, Tammo, Izzard, Martin
Format:	Preprint
Publié:	2024
Sujets:	Distributed, Parallel, and Cluster Computing Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Logical Synchrony and the bittide Mechanism
par: Lall, Sanjay, et autres
Publié: (2023)

Timetide: A programming model for logically synchronous distributed systems
par: Kenwright, Logan, et autres
Publié: (2025)

Buffer Centering for bittide Synchronization via Frame Rotation
par: Lall, Sanjay, et autres
Publié: (2025)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
par: Roop, Partha, et autres
Publié: (2026)

Verifying Randomized Consensus Protocols with Common Coins
par: Gao, Song, et autres
Publié: (2024)

State machines for large scale computer software and systems
par: Yodaiken, Victor
Publié: (2016)

Population Protocols over Ordered Agents
par: Blondin, Michael, et autres
Publié: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
par: Lossin, Benno, et autres
Publié: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
par: Wang, Chao, et autres
Publié: (2026)

2-Coloring Cycles in One Round
par: Flin, Maxime, et autres
Publié: (2026)

Synchronizability of Communicating Finite State Machines is not Decidable
par: Finkel, Alain, et autres
Publié: (2017)

bittide: Control Time, Not Flows
par: Bastiaan, Martijn, et autres
Publié: (2025)

On defining and modeling context-awareness
par: Rodis, Panteleimon
Publié: (2026)

Implementability of Global Distributed Protocols modulo Network Architectures
par: Li, Elaine, et autres
Publié: (2026)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
par: Coget, Isabelle, et autres
Publié: (2026)

Complete Multiparty Session Type Projection with Automata
par: Li, Elaine, et autres
Publié: (2023)

Classification of Local Optimization Problems in Directed Cycles
par: Boudier, Thomas, et autres
Publié: (2026)

Smart Casual Verification of the Confidential Consortium Framework
par: Howard, Heidi, et autres
Publié: (2024)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
par: Guillou, Lucie, et autres
Publié: (2023)

Deciding Serializability in Network Systems
par: Amir, Guy, et autres
Publié: (2026)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
par: Ghasemirad, Shabnam, et autres
Publié: (2024)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
par: Bollig, Benedikt, et autres
Publié: (2026)

Types for Grassroots Logic Programs
par: Shapiro, Ehud
Publié: (2026)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
par: Kim, Moon, et autres
Publié: (2025)

Decidability Issues for Petri Nets -- a survey
par: Esparza, Javier, et autres
Publié: (2024)

Mixed Choice in Asynchronous Multiparty Session Types
par: Bocchi, Laura, et autres
Publié: (2026)

LLM-based policy generation for intent-based management of applications
par: Dzeparoska, Kristina, et autres
Publié: (2024)

Computing Inductive Invariants of Regular Abstraction Frameworks
par: Czerner, Philipp, et autres
Publié: (2024)

Practical Livelock Analysis in Parameterized Unidirectional Rings
par: Farahat, Aly
Publié: (2026)

History-deterministic Parikh Automata
par: Erlich, Enzo, et autres
Publié: (2022)

Non-deterministic asynchronous automata games and their undecidability
par: Adsul, Bharat, et autres
Publié: (2024)

Granular Synchrony
par: Giridharan, Neil, et autres
Publié: (2024)

Space-time deterministic graph rewriting
par: Arrighi, Pablo, et autres
Publié: (2024)

Unifying Partial Synchrony
par: Constantinescu, Andrei, et autres
Publié: (2024)

Building State Machine Replication Using Practical Network Synchrony
par: Wan, Yiliang, et autres
Publié: (2025)

Synchronous Consensus in Partial Synchrony
par: Klianev, Ivan
Publié: (2023)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
par: Fülöp, Zoltán, et autres
Publié: (2025)

Modeling and specification of distributed timed systems
par: James J. Ortiz
Publié: (2013)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
par: Li, Elaine, et autres
Publié: (2026)

Lumiere: Making Optimal BFT for Partial Synchrony Practical
par: Lewis-Pye, Andrew, et autres
Publié: (2023)