On the public citation graph

Concepts for concurrent programming

https://doi.org/10.1007/bfb0027049
0 signed · 54 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-10843-2_22openalex-snapshot
Impartiality, justice and fairness: The ethics of concurrent termination
inferredcites →https://doi.org/10.1007/3-540-11205-7openalex-snapshot
Verifying Concurrent Processes Using Temporal Logic
inferredcites →https://doi.org/10.1007/3-540-15239-3openalex-snapshot
A Survey of Verification Techniques for Parallel Programs
inferredcites →https://doi.org/10.1007/978-1-4612-4886-6openalex-snapshot
Fairness
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3openalex-snapshot
Selected Writings on Computing: A personal Perspective
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3_33openalex-snapshot
A Personal Summary of the Gries—Owicki Theory
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3_53openalex-snapshot
On Making Solutions More and More Fine-Grained
inferredcites →https://doi.org/10.1007/978-1-4612-6315-9_16openalex-snapshot
Towards a Theory of Parallel Programming
inferredcites →https://doi.org/10.1007/978-1-4757-3472-0_6openalex-snapshot
Towards a Theory of Parallel Programming
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_2openalex-snapshot
Towards a Mathematical Science of Computation
inferredcites →https://doi.org/10.1007/978-94-011-1793-7_3openalex-snapshot
Proof of Algorithms by General Snapshots
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/bf00571463openalex-snapshot
Program proving: Coroutines
inferredcites →https://doi.org/10.1007/bf01966091openalex-snapshot
Proof of algorithms by general snapshots
inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0020-0190(81)90106-xopenalex-snapshot
Myths about the mutual exclusion problem
inferredcites →https://doi.org/10.1016/0020-0190(85)90056-0openalex-snapshot
Defining liveness
inferredcites →https://doi.org/10.1016/0096-0551(75)90014-4openalex-snapshot
Parallel programming: An axiomatic approach
inferredcites →https://doi.org/10.1016/0141-1195(83)90127-4openalex-snapshot
Principles of concurrent programming
inferredcites →https://doi.org/10.1016/0141-1195(85)90135-4openalex-snapshot
Coordinated computing — tools and techniques for distributed software
inferredcites →https://doi.org/10.1016/0167-6423(85)90019-xopenalex-snapshot
Coordinated computing: Tools and techniques for distributed software
inferredcites →https://doi.org/10.1016/0898-1221(82)90057-8openalex-snapshot
A programming logic
inferredcites →https://doi.org/10.1016/s0022-0000(75)80018-3openalex-snapshot
Proving assertions about parallel programs
inferredcites →https://doi.org/10.1049/sm.1983.0018openalex-snapshot
Principles of Concurrent Programming
inferredcites →https://doi.org/10.1090/psapm/019/0235771openalex-snapshot
Assigning meanings to programs
inferredcites →https://doi.org/10.1093/comjnl/12.1.41openalex-snapshot
Proving Properties of Programs by Structural Induction
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/mahc.1984.10017openalex-snapshot
An Early Program Proof by Alan Turing
inferredcites →https://doi.org/10.1109/tse.1977.229904openalex-snapshot
Proving the Correctness of Multiprocess Programs
inferredcites →https://doi.org/10.1109/tse.1978.231479openalex-snapshot
The Multiple Assignment Statement
inferredcites →https://doi.org/10.1145/1479992.1479997openalex-snapshot
The application of program-proving techniques to the verification of synchronization processes
inferredcites →https://doi.org/10.1145/2993.357247openalex-snapshot
The ``Hoare Logic'' of CSP, and All That
inferredcites →https://doi.org/10.1145/356622.356624openalex-snapshot
Concurrent Programming Concepts
inferredcites →https://doi.org/10.1145/356901.356903openalex-snapshot
Concepts and Notations for Concurrent Programming
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming

What points at this work

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

inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(199703)27:3<207::aid-spe82>3.0.co;2-dopenalex-snapshot
Synchronous/Reactive Programming of Concurrent System Software
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_18openalex-snapshot
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs
inferred← citeshttps://doi.org/10.1007/978-1-4615-4016-8_2openalex-snapshot
Derivation of Sequential, Real-Time, Process-Control Programs
inferred← citeshttps://doi.org/10.1007/978-1-4757-4376-0_7openalex-snapshot
Parallel Programs with Synchronization
inferred← citeshttps://doi.org/10.1007/978-3-642-40038-4_2openalex-snapshot
Related Work
inferred← citeshttps://doi.org/10.1007/bfb0039074openalex-snapshot
Proving termination of communicating programs
inferred← citeshttps://doi.org/10.1007/s001650200032openalex-snapshot
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
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/b978-0-444-88074-1.50023-8openalex-snapshot
Distributed Computing: Models and Methods
inferred← citeshttps://doi.org/10.1145/158439.158441openalex-snapshot
An introduction to assertional reasoning for concurrent systems
inferred← citeshttps://doi.org/10.1145/42190.42348openalex-snapshot
Control predicates are better than dummy variables for reasoning about program control
inferred← citeshttps://doi.org/10.19026/rjaset.5.4528openalex-snapshot
Ada in Real-time Embedded System
inferred← citeshttps://doi.org/10.21236/ada208996openalex-snapshot
Chapter on Distributed Computing
inferred← citeshttps://doi.org/10.21236/ada238877openalex-snapshot
Derivation of Sequential, Real-Time, Process-Control Programs
inferred← citeshttps://doi.org/10.3390/computers14030110openalex-snapshot
A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs
inferred← citeshttps://doi.org/10.5753/sbac-pad.1995.19862openalex-snapshot
Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso
inferred← citeshttps://doi.org/10.59471/raia202357openalex-snapshot
Verificación de Programas Paralelos
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.