On the public citation graph
The lattice of data refinement
0 signed · 39 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.1007/3-540-51285-3_42openalex-snapshot
A method for refining atomicity in parallel algorithms
inferredcites →https://doi.org/10.1007/3-540-51305-1_11openalex-snapshot
Towards a calculus of data refinement
inferredcites →https://doi.org/10.1007/3-540-54430-5_99openalex-snapshot
Simulations between specifications of distributed systems
inferredcites →https://doi.org/10.1007/978-1-4471-3273-8_8openalex-snapshot
A Single Complete Rule for Data Refinement
inferredcites →https://doi.org/10.1007/978-1-4612-3228-5openalex-snapshot
Predicate Calculus and Program Semantics
inferredcites →https://doi.org/10.1007/bf00259469openalex-snapshot
Duality in specification languages: a lattice-theoretical approach
inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferredcites →https://doi.org/10.1007/bf00291051openalex-snapshot
A calculus of refinements for program derivations
inferredcites →https://doi.org/10.1016/0020-0190(87)90224-9openalex-snapshot
Prespecification in data refinement
inferredcites →https://doi.org/10.1016/0020-0190(88)90147-0openalex-snapshot
Data refinement by miracles
inferredcites →https://doi.org/10.1016/0167-6423(87)90011-6openalex-snapshot
A theoretical basis for stepwise refinement and the programming calculus
inferredcites →https://doi.org/10.1016/0167-6423(93)90015-hopenalex-snapshot
Statement inversion and strongest postcondition
inferredcites →https://doi.org/10.1016/0304-3975(91)90029-2openalex-snapshot
Data refinement of predicate transformers
inferredcites →https://doi.org/10.1109/hicss.1989.47997openalex-snapshot
Changing data representation in the refinement calculus
inferredcites →https://doi.org/10.1109/lics.1988.5115openalex-snapshot
The existence of refinement mappings
inferredcites →https://doi.org/10.1145/69558.69559openalex-snapshot
A generalization of Dijkstra's calculus
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-44525-0_19openalex-snapshot
Performing Algorithmic Refinement before Data Refinement in B
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_13openalex-snapshot
Introducing Backward Refinement into B
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_24openalex-snapshot
Interpreting the B-Method in the Refinement Calculus
inferred← citeshttps://doi.org/10.1007/3-540-48256-3_16openalex-snapshot
Representing WP Semantics in Isabelle/ZF
inferred← citeshttps://doi.org/10.1007/3-540-48778-6_10openalex-snapshot
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
inferred← citeshttps://doi.org/10.1007/3-540-60117-1_24openalex-snapshot
ImpUNITY: UNITY with procedures and local variables
inferred← citeshttps://doi.org/10.1007/3-540-60117-1_8openalex-snapshot
Exploring summation and product operators in the refinement calculus
inferred← citeshttps://doi.org/10.1007/bfb0053358openalex-snapshot
Retrenchment: An engineering variation on refinement
inferred← citeshttps://doi.org/10.1007/bfb0054286openalex-snapshot
An approach to object-orientation in action systems
inferred← citeshttps://doi.org/10.1007/s00165-012-0239-2openalex-snapshot
External and internal choice with event groups in Event-B
inferred← citeshttps://doi.org/10.1007/s001650070008openalex-snapshot
Encoding, Decoding and Data Refinement
inferred← citeshttps://doi.org/10.1016/j.scico.2007.04.002openalex-snapshot
Engineering and theoretical underpinnings of retrenchment
inferred← citeshttps://doi.org/10.1016/j.scico.2017.05.010openalex-snapshot
Derivation of algorithmic control structures in Event-B refinement
inferred← citeshttps://doi.org/10.1016/s0167-6423(98)00016-1openalex-snapshot
Calculational derivation of pointer algorithms from tree operations
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)81006-5openalex-snapshot
Formal Semantics for Program Paths
inferred← citeshttps://doi.org/10.1145/1391956.1391961openalex-snapshot
Dually nondeterministic functions
inferred← citeshttps://doi.org/10.4204/eptcs.115.1openalex-snapshot
On a New Notion of Partial Refinement
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.