On the public citation graph
The quest goes on: A survey of proofsystems for partial correctness of CSP
0 signed · 42 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-12896-4_384openalex-snapshot
A proof system for partial correctness of dynamic networks of processes
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_10openalex-snapshot
Proving Correctness of CSP Programs — A Tutorial
inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot
An axiomatic proof technique for parallel programs I
inferredcites →https://doi.org/10.1007/bf00289062openalex-snapshot
The ?Hoare logic? of concurrent programs
inferredcites →https://doi.org/10.1007/bf00289266openalex-snapshot
A proof technique for communicating sequential processes
inferredcites →https://doi.org/10.1007/bfb0015776openalex-snapshot
Compositionality and concurrent networks: Soundness and completeness of a proofsystem
inferredcites →https://doi.org/10.1090/psapm/019/0235771openalex-snapshot
Assigning meanings to programs
inferredcites →https://doi.org/10.1109/tse.1981.230844openalex-snapshot
Proofs of Networks of Processes
inferredcites →https://doi.org/10.1145/1780.1805openalex-snapshot
Axiomatic semantics of communicating sequential processes
inferredcites →https://doi.org/10.1145/2993.357247openalex-snapshot
The ``Hoare Logic'' of CSP, and All That
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.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/579.584openalex-snapshot
Modeling the distributed termination convention of CSP
inferredcites →https://doi.org/10.1145/69624.357207openalex-snapshot
Specifying Concurrent Program Modules
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-17945-3_18openalex-snapshot
A compositional proof theory for real-time distributed message passing
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_1openalex-snapshot
The Need for Compositional Proof Systems: A Survey
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_10openalex-snapshot
Compositional Verification of Real-Time Applications
inferred← citeshttps://doi.org/10.1007/3-540-50302-1_14openalex-snapshot
Reasoning about atomic objects
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_75openalex-snapshot
Formal techniques for parallel object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-55613-3_6openalex-snapshot
Formal techniques for parallel object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-58043-3_30openalex-snapshot
Partial order based design of concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-58338-6_72openalex-snapshot
A proof system for asynchronously communicating deterministic processes
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/3-540-60973-3_97openalex-snapshot
Local nondeterminism in asynchronously communicating processes
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_1openalex-snapshot
A Bibliography of Willem-Paul de Roever
inferred← citeshttps://doi.org/10.1007/978-3-642-77580-2_5openalex-snapshot
An introduction to compositional methods for concurrency and their application to real-time
inferred← citeshttps://doi.org/10.1007/bf01215408openalex-snapshot
Reasoning about dynamically evolving process structures
inferred← citeshttps://doi.org/10.1007/bf02811338openalex-snapshot
An introduction to compositional methods for concurrency and their application to real-time
inferred← citeshttps://doi.org/10.1007/bfb0019365openalex-snapshot
A compositional proof system for distributed programs
inferred← citeshttps://doi.org/10.1007/bfb0024634openalex-snapshot
Reasoning about interference in an object-based design method
inferred← citeshttps://doi.org/10.1007/s00165-019-00501-3openalex-snapshot
Fifty years of Hoare’s logic
inferred← citeshttps://doi.org/10.1007/s00766-017-0286-6openalex-snapshot
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions
inferred← citeshttps://doi.org/10.1007/s10703-017-0294-7openalex-snapshot
Conditions of contracts for separating responsibilities in heterogeneous systems
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50020-2openalex-snapshot
Methods and Logics for Proving Programs
inferred← citeshttps://doi.org/10.1016/j.scico.2017.03.007openalex-snapshot
Formal architecture modeling of sequential non-recursive C programs
inferred← citeshttps://doi.org/10.1109/32.58782openalex-snapshot
The specification and verified decomposition of system requirements using CSP
inferred← citeshttps://doi.org/10.1109/mahc.2003.1203057openalex-snapshot
The early search for tractable ways of reasoning about 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.