On the public citation graph

Convergence of iteration systems

0 signed · 31 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.1007/978-1-4612-4782-1openalex-snapshot
Brains, Machines, and Mathematics
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3openalex-snapshot
Selected Writings on Computing: A personal Perspective
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3_5openalex-snapshot
The Solution to a Cyclic Relaxation Problem
inferredcites →https://doi.org/10.1007/978-1-4612-5983-1openalex-snapshot
The Science of Programming
inferredcites →https://doi.org/10.1007/978-1-4613-9668-0_6openalex-snapshot
Parallel Program Design
inferredcites →https://doi.org/10.1007/978-3-642-61607-5openalex-snapshot
Discrete Iterations
inferredcites →https://doi.org/10.1007/978-3-642-88163-3openalex-snapshot
Self-Organization and Associative Memory
inferredcites →https://doi.org/10.1007/978-3-662-00784-6openalex-snapshot
Self-Organization and Associative Memory
inferredcites →https://doi.org/10.1016/0016-0032(64)90467-3openalex-snapshot
Brains, machines and mathematics
inferredcites →https://doi.org/10.1016/0378-4754(87)90119-4openalex-snapshot
Discrete iterations: A metric study
inferredcites →https://doi.org/10.1016/s0019-9958(85)80014-0openalex-snapshot
A proof rule for fair termination of guarded commands
inferredcites →https://doi.org/10.1109/12.24293openalex-snapshot
Token systems that self-stabilize
inferredcites →https://doi.org/10.1109/spdp.1990.143666openalex-snapshot
Convergence/response tradeoffs in concurrent systems
inferredcites →https://doi.org/10.1145/361179.361202openalex-snapshot
Self-stabilizing systems in spite of distributed control
inferredcites →https://doi.org/10.21236/ada196047openalex-snapshot
I/O Automata: A Model for Discrete Event Systems

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-540-76627-8_22openalex-snapshot
r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks
inferred← citeshttps://doi.org/10.1007/bfb0039052openalex-snapshot
Convergence of iteration systems
inferred← citeshttps://doi.org/10.1007/bfb0055345openalex-snapshot
Formal verification of stabilizing systems
inferred← citeshttps://doi.org/10.1007/pl00008934openalex-snapshot
Self-stabilization with r-operators
inferred← citeshttps://doi.org/10.1007/s00446-007-0033-1openalex-snapshot
The alternator
inferred← citeshttps://doi.org/10.1016/j.jpdc.2018.02.007openalex-snapshot
A self-stabilizing memory efficient algorithm for the minimum diameter spanning tree under an omnipotent daemon
inferred← citeshttps://doi.org/10.1016/s0020-0190(99)00164-7openalex-snapshot
Error-detecting codes and fault-containing self-stabilization
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00238-4openalex-snapshot
Self-stabilization with path algebra
inferred← citeshttps://doi.org/10.1109/12.312126openalex-snapshot
Distributed reset
inferred← citeshttps://doi.org/10.1109/ipdps.2010.5470392openalex-snapshot
Stabilizing pipelines for streaming applications
inferred← citeshttps://doi.org/10.1109/ispan.1999.778938openalex-snapshot
Self-stabilizing algorithms in DAG structured networks
inferred← citeshttps://doi.org/10.1109/slfstb.1999.777485openalex-snapshot
An exercise in proving convergence through transfer functions
inferred← citeshttps://doi.org/10.1109/slfstb.1999.777486openalex-snapshot
The alternator
inferred← citeshttps://doi.org/10.1142/s0129626499000529openalex-snapshot
SELF-STABILIZING ALGORITHMS IN DAG STRUCTURED NETWORKS
inferred← citeshttps://doi.org/10.3166/tsi.23.1027-1056openalex-snapshot
Autostabilisation et protocoles réseau
inferred← citeshttps://doi.org/10.3233/hsn-2005-259openalex-snapshot
Formal design of self-stabilizing programs
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.