On the public citation graph

Formal specification and compositional verification of an atomic broadcast protocol

https://doi.org/10.1007/bf01088854
0 signed · 25 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.
Claim with ORCID
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.
See reference health

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-54947-1openalex-snapshot
Specification and Compositional Verification of Real-Time Systems
inferredcites →https://doi.org/10.1007/3-540-55092-5_12openalex-snapshot
Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization
inferredcites →https://doi.org/10.1007/bf00365327openalex-snapshot
Synchronous atomic broadcast for redundant broadcast channels
inferredcites →https://doi.org/10.1007/bfb0020836openalex-snapshot
Compositionality, Concurrency and Partial Correctness
inferredcites →https://doi.org/10.1007/bfb0031984openalex-snapshot
Real-Time: Theory in Practice
inferredcites →https://doi.org/10.1109/32.210304openalex-snapshot
Formal verification of algorithms for critical systems
inferredcites →https://doi.org/10.1109/ftcsh.1995.532668openalex-snapshot
ATOMIC BROADCAST: FROM SIMPLE MESSAGE DIFFUSION TO BYZANTINE AGREEMENT
inferredcites →https://doi.org/10.1109/real.1992.242665openalex-snapshot
A proof theory for asynchronously communicating real-time systems
inferredcites →https://doi.org/10.1109/tse.1985.232247openalex-snapshot
Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts
inferredcites →https://doi.org/10.1145/2455.2457openalex-snapshot
Synchronizing clocks in the presence of faults
inferredcites →https://doi.org/10.1145/7351.7478openalex-snapshot
Reliable communication in the presence of failures
inferredcites →https://doi.org/10.1145/989.357400openalex-snapshot
Reliable broadcast protocols

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-60692-0_43openalex-snapshot
Verifying part of the ACCESS.bus protocol using PVS
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_31openalex-snapshot
On the semantics of group communication
inferred← citeshttps://doi.org/10.1007/978-1-4615-5449-3_1openalex-snapshot
Comparing Synchronous and Asynchronous Group Communication
inferred← citeshttps://doi.org/10.1007/978-3-7091-9396-9_24openalex-snapshot
Specification and Verification of an Atomic Broadcast Protocol
inferred← citeshttps://doi.org/10.1007/bf01213604openalex-snapshot
Extending hoare logic to real-time
inferred← citeshttps://doi.org/10.1007/bfb0000476openalex-snapshot
Verification of distributed real-time and fault-tolerant protocols
inferred← citeshttps://doi.org/10.1016/s0950-5849(03)00066-1openalex-snapshot
Formal verification of dependable distributed protocols
inferred← citeshttps://doi.org/10.1023/a:1008185530601openalex-snapshot
Simulation-based Testing of Communication Protocols for Dependable Embedded Systems
inferred← citeshttps://doi.org/10.1109/32.815324openalex-snapshot
Systematic formal verification for fault-tolerant time-triggered algorithms
inferred← citeshttps://doi.org/10.1109/icpads.2000.857694openalex-snapshot
Formal modeling and analysis of atomic commitment protocols
inferred← citeshttps://doi.org/10.1109/wpdrts.1995.470490openalex-snapshot
Atomic broadcast: a case study in locative temporal logic
inferred← citeshttps://doi.org/10.1145/1041680.1041682openalex-snapshot
Total Order Broadcast and Multicast Algorithms : Taxonomy and Survey
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.