On the public citation graph

Data Refinement of Remote Procedures

https://doi.org/10.1007/pl00003935
0 signed · 34 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/bfb0015020openalex-snapshot
Trace refinement of action systems
inferredcites →https://doi.org/10.1007/bfb0024423openalex-snapshot
Formal Systems Specification
inferredcites →https://doi.org/10.1016/0020-0190(89)90049-5openalex-snapshot
Cooperating proofs for distributed programs with multiparty interactions
inferredcites →https://doi.org/10.1016/0141-9331(89)90152-xopenalex-snapshot
Parallel program design: a foundation
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(88)90062-7openalex-snapshot
Procedures, parameters, and abstraction: Separate concerns
inferredcites →https://doi.org/10.1016/0167-6423(90)90069-popenalex-snapshot
Stepwise refinement of parallel algorithms
inferredcites →https://doi.org/10.1016/0167-6423(95)00023-2openalex-snapshot
Specifying the Caltech asynchronous microprocessor
inferredcites →https://doi.org/10.1017/cbo9780511624162openalex-snapshot
The B-Book
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1145/44501.44503openalex-snapshot
The specification statement
inferredcites →https://doi.org/10.1145/800221.806716openalex-snapshot
Decentralization of process nets with centralized control
inferredcites →https://doi.org/10.5860/choice.34-3906openalex-snapshot
The B-book: assigning programs to meanings

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11415787_9openalex-snapshot
An Extension of Event B for Developing Grid Systems
inferred← citeshttps://doi.org/10.1007/11955757_16openalex-snapshot
Formal Transformation of Platform Independent Models into Platform Specific Models
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_25openalex-snapshot
Compositional Symmetric Sharing in B
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_3openalex-snapshot
Developing Object-Based Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_12openalex-snapshot
Non-atomic Refinement
inferred← citeshttps://doi.org/10.1007/978-3-319-47846-3_17openalex-snapshot
Contextual Trace Refinement for Concurrent Objects: Safety and Progress
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_17openalex-snapshot
Concurrent Object-Oriented Programs: From Specification to Code
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_18openalex-snapshot
Design with Asynchronously Communicating Components
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_6openalex-snapshot
Formal Modular Modelling of Context-Awareness
inferred← citeshttps://doi.org/10.1007/s00165-006-0091-3openalex-snapshot
Procedure compilation in the refinement calculus
inferred← citeshttps://doi.org/10.1007/s00165-013-0292-5openalex-snapshot
Kaisa Sere: In Memoriam
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.02.022openalex-snapshot
Power Aware System Refinement
inferred← citeshttps://doi.org/10.1016/j.future.2014.10.011openalex-snapshot
Automated preprocessing of environmental data
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.018openalex-snapshot
Asynchronous system synthesis
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.024openalex-snapshot
Verification and refinement with fine-grained action-based concurrent objects
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80630-9openalex-snapshot
A Topological Approach to Distributed Computing
inferred← citeshttps://doi.org/10.1109/ctrq.2010.31openalex-snapshot
Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism
inferred← citeshttps://doi.org/10.1109/icsea.2010.34openalex-snapshot
Developing Fault Tolerant Distributed Systems by Refinement
inferred← citeshttps://doi.org/10.4204/eptcs.209.9openalex-snapshot
A Theory of Service Dependency
inferred← citeshttps://doi.org/10.5555/1161593.1161602openalex-snapshot
Formal development of NoC systems in B
inferred← citeshttps://doi.org/10.71548/6003openalex-snapshot
An Experimental Implementation of Action-Based Concurrency
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.