On the public citation graph
The state machine approach: A tutorial
0 signed · 102 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1995.1060openalex-snapshot
Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement
inferredcites →https://doi.org/10.1007/3-540-08755-9_9openalex-snapshot
Notes on data base operating systems
inferredcites →https://doi.org/10.1007/3-540-15216-4_17openalex-snapshot
The argus language and system
inferredcites →https://doi.org/10.1007/3-540-15216-4_18openalex-snapshot
Paradigms for distributed programs
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3_7openalex-snapshot
Self-Stabilization in Spite of Distributed Control
inferredcites →https://doi.org/10.1016/0010-4485(78)90118-5openalex-snapshot
Operating systems — an advanced course
inferredcites →https://doi.org/10.1016/0167-6423(84)90009-1openalex-snapshot
Fault-tolerant broadcasts
inferredcites →https://doi.org/10.1016/0376-5075(78)90045-4openalex-snapshot
The implementation of reliable distributed multiprocess systems
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/proc.1978.11114openalex-snapshot
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
inferredcites →https://doi.org/10.1109/tse.1985.232483openalex-snapshot
A Loosely Coupled Distributed System for Reliably Storing Data
inferredcites →https://doi.org/10.1145/10590.10593openalex-snapshot
Highly available distributed services and fault-tolerant distributed garbage collection
inferredcites →https://doi.org/10.1145/29868.31332openalex-snapshot
On the reliability of consensus-based fault-tolerant distributed computing systems
inferredcites →https://doi.org/10.1145/2993.2994openalex-snapshot
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
inferredcites →https://doi.org/10.1145/3149.214121openalex-snapshot
Impossibility of distributed consensus with one faulty process
inferredcites →https://doi.org/10.1145/320610.320621openalex-snapshot
Reliability mechanisms for SDD-1
inferredcites →https://doi.org/10.1145/323627.323636openalex-snapshot
Replication and fault-tolerance in the ISIS system
inferredcites →https://doi.org/10.1145/323627.323641openalex-snapshot
Distributed transactions for reliable systems
inferredcites →https://doi.org/10.1145/323647.323636openalex-snapshot
Replication and fault-tolerance in the ISIS system
inferredcites →https://doi.org/10.1145/323647.323641openalex-snapshot
Distributed transactions for reliable systems
inferredcites →https://doi.org/10.1145/357162.357163openalex-snapshot
Synchronization in Distributed Programs
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/361179.361202openalex-snapshot
Self-stabilizing systems in spite of distributed control
inferredcites →https://doi.org/10.1145/5236.5243openalex-snapshot
Applications of Byzantine agreement in database systems
inferredcites →https://doi.org/10.1145/7351.7478openalex-snapshot
Reliable communication in the presence of failures
inferredcites →https://doi.org/10.1145/773379.806617openalex-snapshot
A message system supporting fault tolerance
inferredcites →https://doi.org/10.1145/800217.806617openalex-snapshot
A message system supporting fault tolerance
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470050118.ecse085openalex-snapshot
Coordination and Synchronization: Designing Practical Detectors for Large‐Scale Distributed Systems
inferred← citeshttps://doi.org/10.1002/spe.2277openalex-snapshot
Chameleon – a group communication framework for smartphones
inferred← citeshttps://doi.org/10.1006/jpdc.1994.1129openalex-snapshot
Integrating Runtime Consistency Models for Distributed Computing
inferred← citeshttps://doi.org/10.1007/11508380_120openalex-snapshot
Dynamic Failure Management for Parallel Applications on Grids
inferred← citeshttps://doi.org/10.1007/11914952_31openalex-snapshot
Using Selective Acknowledgements to Reduce the Memory Footprint of Replicated Services
inferred← citeshttps://doi.org/10.1007/3-540-45177-3_1openalex-snapshot
Intrusion-Tolerant Architectures: Concepts and Design
inferred← citeshttps://doi.org/10.1007/978-0-387-78448-9_27openalex-snapshot
Transactions and Concurrency Control for Peer-to-Peer Wikis: an Evaluation
inferred← citeshttps://doi.org/10.1007/978-1-4471-2416-0_14openalex-snapshot
The Virtual Synchrony Execution Model
inferred← citeshttps://doi.org/10.1007/978-1-4612-2822-6_17openalex-snapshot
Concurrent Programs as Strategies in Games
inferred← citeshttps://doi.org/10.1007/978-1-84882-739-4_7openalex-snapshot
Open Platform Development for STEP-compliant CNC
inferred← citeshttps://doi.org/10.1007/978-3-540-75694-1_25openalex-snapshot
Transactions for Distributed Wikis on Structured Overlays
inferred← citeshttps://doi.org/10.1007/978-3-642-58066-6_13openalex-snapshot
Tools and Techniques for Adding Fault Tolerance to Distributed and Parallel Programs
inferred← citeshttps://doi.org/10.1007/978-3-7091-4009-3_14openalex-snapshot
Primary-Backup Protocols: Lower Bounds and Optimal Implementations
inferred← citeshttps://doi.org/10.1007/978-3-7091-4009-3_15openalex-snapshot
A Linguistic Framework for Dynamic Composition of Dependability Protocols
inferred← citeshttps://doi.org/10.1007/s10922-023-09731-6openalex-snapshot
Fedidchain: An Innovative Blockchain-Enabled Framework for Cross-Border Interoperability and Trust Management in Identity Federation Systems
inferred← citeshttps://doi.org/10.1007/s12369-025-01237-2openalex-snapshot
Improving HRI Through Robot Architecture Transparency
inferred← citeshttps://doi.org/10.1016/0196-6774(90)90022-7openalex-snapshot
Recovery in distributed systems using optimistic message logging and checkpointing
inferred← citeshttps://doi.org/10.1016/j.ijhydene.2014.01.003openalex-snapshot
Sizing methodology for hybrid systems based on multiple renewable power sources integrated to the energy management strategy
inferred← citeshttps://doi.org/10.1016/j.renene.2014.09.056openalex-snapshot
Energy management strategy based on receding horizon for a power hybrid system
inferred← citeshttps://doi.org/10.1080/01691864.2022.2163187openalex-snapshot
Multi-step motion learning by combining learning-from-demonstration and policy-search
inferred← citeshttps://doi.org/10.1109/32.210306openalex-snapshot
Specifying and verifying requirements of real-time systems
inferred← citeshttps://doi.org/10.1109/access.2020.2986789openalex-snapshot
SHealth: A Blockchain-Based Health System With Smart Contracts Capabilities
inferred← citeshttps://doi.org/10.1109/access.2024.3508029openalex-snapshot
Human Digital Twins in Rehabilitation: A Case Study on Exoskeleton and Serious-Game-Based Stroke Rehabilitation Using the ETHICA Methodology
inferred← citeshttps://doi.org/10.1109/dasc.2016.7778101openalex-snapshot
An autonomous flight management system for prevention and recovery of unmanned aerial vehicle loss-of-control
inferred← citeshttps://doi.org/10.1109/dcs.1988.12547openalex-snapshot
Supplying high availability with a standard network file system
inferred← citeshttps://doi.org/10.1109/dsn.2002.1028883openalex-snapshot
Generic timing fault tolerance using a timely computing base
inferred← citeshttps://doi.org/10.1109/edcc61798.2024.00036openalex-snapshot
An Optimal Byzantine SCD-Broadcast Protocol
inferred← citeshttps://doi.org/10.1109/ftcs.1989.105566openalex-snapshot
A design for a fault-tolerant, distributed implementation of Linda
inferred← citeshttps://doi.org/10.1109/ftcs.1989.105619openalex-snapshot
Replication within atomic actions and conversations: a case study in fault-tolerance duality
inferred← citeshttps://doi.org/10.1109/ftdcs.2001.969633openalex-snapshot
Software replication in three-tiers architectures: is it a real challange?
inferred← citeshttps://doi.org/10.1109/icdcs.1995.500006openalex-snapshot
Causal separators for large-scale multicast communication
inferred← citeshttps://doi.org/10.1109/icdcs.2006.65openalex-snapshot
Practical Byzantine Group Communication
inferred← citeshttps://doi.org/10.1109/icde60146.2024.00156openalex-snapshot
PrestigeBFT: Revolutionizing View Changes in BFT Consensus Algorithms with Reputation Mechanisms
inferred← citeshttps://doi.org/10.1109/ntms.2018.8328684openalex-snapshot
CliMBOS: A Modular NFV Cloud Backend for the Internet of Things
inferred← citeshttps://doi.org/10.1109/pdp50117.2020.00024openalex-snapshot
Enhancing Two Phase-Commit Protocol for Replicated State Machines
inferred← citeshttps://doi.org/10.1109/prdc.2014.14openalex-snapshot
Towards Secure and Dependable Authentication and Authorization Infrastructures
inferred← citeshttps://doi.org/10.1109/reldis.1990.93951openalex-snapshot
Reliable broadcast for fault-tolerance on local computer networks
inferred← citeshttps://doi.org/10.1109/reldis.1991.145402openalex-snapshot
Masking failures of multidimensional sensors
inferred← citeshttps://doi.org/10.1109/reldis.1997.632808openalex-snapshot
Fast replicated state machines over partitionable networks
inferred← citeshttps://doi.org/10.1109/srds.2006.8openalex-snapshot
Adaptive Batching for Replicated Servers
inferred← citeshttps://doi.org/10.1109/srds60354.2023.00033openalex-snapshot
Making Intrusion Tolerance Accessible: A Cloud-Based Hybrid Management Approach to Deploying Resilient Systems
inferred← citeshttps://doi.org/10.1145/102792.102801openalex-snapshot
Understanding fault-tolerant distributed systems
inferred← citeshttps://doi.org/10.1145/112600.112627openalex-snapshot
Unreliable failure detectors for asynchronous systems (preliminary version)
inferred← citeshttps://doi.org/10.1145/122140.122143openalex-snapshot
Making real-time reactive systems reliable
inferred← citeshttps://doi.org/10.1145/123041.123051openalex-snapshot
Specifying and verifying requirements of real-time systems
inferred← citeshttps://doi.org/10.1145/128733.128735openalex-snapshot
Tolerating failures of continuous-valued sensors
inferred← citeshttps://doi.org/10.1145/1380422.1380426openalex-snapshot
A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing
inferred← citeshttps://doi.org/10.1145/163298.163303openalex-snapshot
The process group approach to reliable distributed computing
inferred← citeshttps://doi.org/10.1145/164051.164074openalex-snapshot
Unifying self-stabilization and fault-tolerance
inferred← citeshttps://doi.org/10.1145/164853.164858openalex-snapshot
A response to Cheriton and Skeen's criticism of causal and totally ordered communication
inferred← citeshttps://doi.org/10.1145/1734213.1734216openalex-snapshot
Tight failure detection bounds on atomic object implementations
inferred← citeshttps://doi.org/10.1145/2600212.2600218openalex-snapshot
When paxos meets erasure code
inferred← citeshttps://doi.org/10.1145/3689051.3689053openalex-snapshot
Taming Consensus in the Wild (with the Shared Log Abstraction)
inferred← citeshttps://doi.org/10.1145/504136.504137openalex-snapshot
Making real-time reactive systems reliable
inferred← citeshttps://doi.org/10.1145/504136.504176openalex-snapshot
A formal approach to fault-tolerance in distributed real-time systems
inferred← citeshttps://doi.org/10.1145/504136.504187openalex-snapshot
Towards a formal framework for fault-tolerance
inferred← citeshttps://doi.org/10.1145/504390.504420openalex-snapshot
How to avoid the cost of causal communication in large-scale systems
inferred← citeshttps://doi.org/10.1145/506378.506387openalex-snapshot
Maintaining consistency in distributed systems
inferred← citeshttps://doi.org/10.1145/75246.75256openalex-snapshot
AMp: a highly parallel atomic multicast protocol
inferred← citeshttps://doi.org/10.14569/ijacsa.2022.0130368openalex-snapshot
A Secure and Trusted Fog Computing Approach based on Blockchain and Identity Federation for a Granular Access Control in IoT Environments
inferred← citeshttps://doi.org/10.21236/ada206037openalex-snapshot
The Role of Order in Distributed Programs
inferred← citeshttps://doi.org/10.21236/ada225201openalex-snapshot
MTP: An Atomic Multicast Transport Protocol
inferred← citeshttps://doi.org/10.21236/ada231471openalex-snapshot
Masking Failures of Multidimensional Sensors (Extended Abstract)
inferred← citeshttps://doi.org/10.21236/ada245746openalex-snapshot
Primary-Backup Protocols: Lower Bounds and Optimal Implementations
inferred← citeshttps://doi.org/10.21817/ijet/2017/v9i3/170903s016openalex-snapshot
Fault Tolerant System for Embedded System Architecture
inferred← citeshttps://doi.org/10.3233/jcs-1993-22-307openalex-snapshot
Optimality of Asynchronous Two-Party Secure Data-Exchange Protocols*
inferred← citeshttps://doi.org/10.4018/ijdst.287861openalex-snapshot
Early Conflict Checking in Two-Phase Commit Protocol for Replicated State Machines
inferred← citeshttps://doi.org/10.5555/3291168.3291195openalex-snapshot
The fuzzylog: a partially ordered shared log
inferred← citeshttps://doi.org/10.7936/k71r6q3fopenalex-snapshot
Atomic Transfer for Distributed Systems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.