On the public citation graph

Towards a derivational style of distributed system design ? An example

https://doi.org/10.1007/bf00871691
0 signed · 23 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/3-540-52559-9_60openalex-snapshot
Refinement calculus, part I: Sequential nondeterministic programs
inferredcites →https://doi.org/10.1007/3-540-52559-9_61openalex-snapshot
Refinement calculus, part II: Parallel and reactive programs
inferredcites →https://doi.org/10.1007/bf00264015openalex-snapshot
Formal derivation of strongly correct concurrent programs
inferredcites →https://doi.org/10.1016/0167-6423(89)90013-0openalex-snapshot
A method for solving synchronization problems
inferredcites →https://doi.org/10.1016/b978-0-934613-04-0.50004-1openalex-snapshot
REASONING ABOUT KNOWLEDGE: AN OVERVIEW
inferredcites →https://doi.org/10.1109/32.142870openalex-snapshot
Knowledge representation and reasoning in the design of composite systems
inferredcites →https://doi.org/10.1109/32.163603openalex-snapshot
Representation and presentation of requirements knowledge
inferredcites →https://doi.org/10.1109/32.58788openalex-snapshot
KIDS: a semiautomatic program development system
inferredcites →https://doi.org/10.1109/kbse.1991.638017openalex-snapshot
Composite System Design: The Good News And The Bad News
inferredcites →https://doi.org/10.1109/tse.1981.230814openalex-snapshot
Transformational Implementation: An Example
inferredcites →https://doi.org/10.1145/1500412.1500468openalex-snapshot
Principles of good software specification and their implications for specification languages
inferredcites →https://doi.org/10.1145/357172.357177openalex-snapshot
Finite Differencing of Computable Expressions

What points at this work

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

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01189-8openalex-snapshot
Chapter 5: The Vital Processor Interlocking
inferred← citeshttps://doi.org/10.1109/32.738341openalex-snapshot
Inferring declarative requirements specifications from operational scenarios
inferred← citeshttps://doi.org/10.1109/32.879820openalex-snapshot
Handling obstacles in goal-oriented requirements engineering
inferred← citeshttps://doi.org/10.1109/cmpass.1995.521887openalex-snapshot
The safety guaranteeing system at station Hoorn-Kersenboogerd
inferred← citeshttps://doi.org/10.1109/icse.1998.671102openalex-snapshot
Integrating obstacles in goal-driven requirements engineering
inferred← citeshttps://doi.org/10.1109/icsm.1995.526558openalex-snapshot
Is maintenance ready for evolution?
inferred← citeshttps://doi.org/10.1109/kbse.1994.342683openalex-snapshot
A framework for distributed system designs
inferred← citeshttps://doi.org/10.1145/225014.225016openalex-snapshot
Deriving specifications from requirements
inferred← citeshttps://doi.org/10.1145/237432.237434openalex-snapshot
Four dark corners of requirements engineering
inferred← citeshttps://doi.org/10.1145/239098.239131openalex-snapshot
Formal refinement patterns for goal-driven requirements elaboration
inferred← citeshttps://doi.org/10.1145/250707.239131openalex-snapshot
Formal refinement patterns for goal-driven requirements elaboration
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.