On the public citation graph

Reasoning about dynamically evolving process structures

https://doi.org/10.1007/bf01215408
0 signed · 50 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/bf01887214openalex-snapshot
Issues in the design of a parallel object-oriented language
inferredcites →https://doi.org/10.1007/bfb0015776openalex-snapshot
Compositionality and concurrent networks: Soundness and completeness of a proofsystem
inferredcites →https://doi.org/10.1007/bfb0027044openalex-snapshot
The quest goes on: A survey of proofsystems for partial correctness of CSP
inferredcites →https://doi.org/10.1145/322358.322372openalex-snapshot
Formal Justification of a Proof System for Communicating Sequential Processes
inferredcites →https://doi.org/10.1145/357103.357110openalex-snapshot
A Proof System for Communicating Sequential Processes
inferredcites →https://doi.org/10.1145/357146.357150openalex-snapshot
Ten Years of Hoare's Logic: A Survey—Part I
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/363235.363255openalex-snapshot
A new method for determining linear precedence functions for precedence grammars
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/512644.512662openalex-snapshot
Operational semantics of a parallel object-oriented language

What points at this work

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

inferred← citeshttps://doi.org/10.1002/047134608x.w8361openalex-snapshot
Evolving Systems: Review
inferred← citeshttps://doi.org/10.1007/10719619_16openalex-snapshot
Open Multi-Agent Systems: Agent Communication and Integration
inferred← citeshttps://doi.org/10.1007/3-540-45931-6_2openalex-snapshot
Verification for Java’s Reentrant Multithreading Concept
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_26openalex-snapshot
A weakest precondition semantics for an object-oriented language of refinement
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_10openalex-snapshot
A WP-calculus for OO
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_61openalex-snapshot
Constraining interference in an object-based design method
inferred← citeshttps://doi.org/10.1007/3-540-57880-3_33openalex-snapshot
Algebraic proofs of properties of objects
inferred← citeshttps://doi.org/10.1007/3-540-60117-1_11openalex-snapshot
A compositional proof system for asynchronously communicating processes
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_4openalex-snapshot
Reasoning About Histories in Object-Based Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-27764-4_19openalex-snapshot
Pointer Theory and Weakest Preconditions without Addresses and Heap
inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_5openalex-snapshot
How to Cook a Complete Hoare Logic for Your Pet OO Language
inferred← citeshttps://doi.org/10.1007/978-3-540-30477-7_28openalex-snapshot
A Relational Model for Object-Oriented Designs
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_1openalex-snapshot
A Tool-Supported Proof System for Multithreaded Java
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-39958-2_11openalex-snapshot
Inductive Proof Outlines for Monitors in Java
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_5openalex-snapshot
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_50openalex-snapshot
A Perspective on Program Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_39openalex-snapshot
Abstract Object Creation in Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-981-10-2546-4_14openalex-snapshot
rCOS: A Refinement Calculus of Internetware Systems
inferred← citeshttps://doi.org/10.1007/bf00122417openalex-snapshot
Accommodating interference in the formal design of concurrent object-based programs
inferred← citeshttps://doi.org/10.1007/bfb0053567openalex-snapshot
Language primitives and type discipline for structured communication-based programming
inferred← citeshttps://doi.org/10.1007/bfb0053570openalex-snapshot
Recursive object types in a logic of object-oriented programs
inferred← citeshttps://doi.org/10.1007/bfb0055629openalex-snapshot
Reasoning about asynchronous communication in dynamically evolving object structures
inferred← citeshttps://doi.org/10.1007/s00165-007-0067-yopenalex-snapshot
Graph transformations for object-oriented refinement
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50021-0openalex-snapshot
An Epistemic Proof System for Parallel Processes**A full version appeared as Technical Report No. 93-17.
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.02.017openalex-snapshot
On Message Specifications in OCL
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.08.049openalex-snapshot
Object-Oriented Structure Refinement – A Graph Transformational Approach
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/j.tcs.2006.07.034openalex-snapshot
rCOS: A refinement calculus of object systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00005-8openalex-snapshot
Predicate transformer semantics of a higher-order imperative language with record subtyping
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00304-2openalex-snapshot
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
inferred← citeshttps://doi.org/10.1017/s0960129599002765openalex-snapshot
Proof-theoretic foundations for the design of actor systems
inferred← citeshttps://doi.org/10.1109/32.879810openalex-snapshot
A weakest precondition semantics for refinement of object-oriented programs
inferred← citeshttps://doi.org/10.1145/286936.286953openalex-snapshot
Data groups
inferred← citeshttps://doi.org/10.1145/286942.286953openalex-snapshot
Data groups
inferred← citeshttps://doi.org/10.1145/351268.351291openalex-snapshot
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic
inferred← citeshttps://doi.org/10.1145/777388.777395openalex-snapshot
Storeless semantics and alias logic
inferred← citeshttps://doi.org/10.15625/1813-9663/21/3/1250openalex-snapshot
A relational algebraical model of object oriented systems.
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.