On the public citation graph
A comparison of two synchronizing concepts
0 signed · 92 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/978-1-4612-6315-9_16openalex-snapshot
Towards a Theory of Parallel Programming
inferredcites →https://doi.org/10.1007/978-1-4757-3472-0_2openalex-snapshot
Cooperating Sequential Processes
inferredcites →https://doi.org/10.1007/978-1-4757-3472-0_6openalex-snapshot
Towards a Theory of Parallel Programming
inferredcites →https://doi.org/10.1145/361268.361277openalex-snapshot
Synchronization of communicating processes
inferredcites →https://doi.org/10.1145/362759.362813openalex-snapshot
Concurrent control with “readers” and “writers”
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380070107openalex-snapshot
The implementation of synchronizing operations in various environments
inferred← citeshttps://doi.org/10.1002/spe.4380200402openalex-snapshot
Signalling regions: Multiprocessing in a shared memory reconsidered
inferred← citeshttps://doi.org/10.1007/3-540-06473-7_40openalex-snapshot
Lose Kopplung in Informationssystemen
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_144openalex-snapshot
A model for structured parallel processing in block-structured programming languages
inferred← citeshttps://doi.org/10.1007/3-540-07135-0_118openalex-snapshot
The typeset-10 message exchange facility a case study in systemic design
inferred← citeshttps://doi.org/10.1007/3-540-07854-1_207openalex-snapshot
Determinism in concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-08755-9_7openalex-snapshot
Synchronization in a layered system
inferred← citeshttps://doi.org/10.1007/3-540-10885-8_36openalex-snapshot
Modules program structures and the structuring of operating systems
inferred← citeshttps://doi.org/10.1007/3-540-11172-7_7openalex-snapshot
Concurrent programming : Microcomputers
inferred← citeshttps://doi.org/10.1007/3-540-36557-5_25openalex-snapshot
Advanced Thread Synchronization in Java Using Interaction Expressions
inferred← citeshttps://doi.org/10.1007/978-1-4612-6315-9_17openalex-snapshot
Structured Multiprogramming
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_1openalex-snapshot
The Invention of Concurrent Programming
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_10openalex-snapshot
Monitors: An Operating System Structuring Concept
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_7openalex-snapshot
An Outline of a Course on Operating System Principles
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_8openalex-snapshot
Structured Multiprogramming
inferred← citeshttps://doi.org/10.1007/978-3-322-94670-6_6openalex-snapshot
Literaturverzeichnis zur parallelen Programmierung
inferred← citeshttps://doi.org/10.1007/978-3-642-61455-2_17openalex-snapshot
Notes on Proof Outline Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-67600-0_7openalex-snapshot
A Methodology for Message Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-80732-9_21openalex-snapshot
Verallgemeinerung und Implementierung von Synchronisations-Operationen
inferred← citeshttps://doi.org/10.1007/978-3-642-93222-9_4openalex-snapshot
Ausblicke und Konzeptionen
inferred← citeshttps://doi.org/10.1007/978-3-642-95466-5_4openalex-snapshot
Strukturmodelle für konkurrente Programme
inferred← citeshttps://doi.org/10.1007/978-3-8348-2151-5_2openalex-snapshot
Rechnerarchitekturen für Parallele und Verteilte Systeme
inferred← citeshttps://doi.org/10.1007/bf00264031openalex-snapshot
A reply to comments on ?A comparison of two synchronizing concepts?
inferred← citeshttps://doi.org/10.1007/bf00264467openalex-snapshot
Some extended semaphore primitives
inferred← citeshttps://doi.org/10.1007/bf00271342openalex-snapshot
Some comments on “concurrent readers and writers”
inferred← citeshttps://doi.org/10.1007/bf00288656openalex-snapshot
On the efficient implementation of conditional critical regions and the construction of monitors
inferred← citeshttps://doi.org/10.1007/bf00288744openalex-snapshot
Proving properties of interacting processes
inferred← citeshttps://doi.org/10.1007/bf00289516openalex-snapshot
Comments on ?A comparison of two synchronizing concepts by P.B. Hansen?
inferred← citeshttps://doi.org/10.1007/bf00976241openalex-snapshot
Process synchronization in high-level languages
inferred← citeshttps://doi.org/10.1007/bf00977783openalex-snapshot
On the design and specification of message oriented programs
inferred← citeshttps://doi.org/10.1007/bfb0022460openalex-snapshot
The temporal semantics of concurrent programs
inferred← citeshttps://doi.org/10.1007/bfb0029363openalex-snapshot
Schedulers as enforces in synchronization processes
inferred← citeshttps://doi.org/10.1007/s11023-023-09632-2openalex-snapshot
From Monitors to Monitors: A Primitive History
inferred← citeshttps://doi.org/10.1016/0020-0190(74)90041-6openalex-snapshot
Information streams sharing a finite buffer: other solutions
inferred← citeshttps://doi.org/10.1016/0020-0190(79)90145-5openalex-snapshot
Two implementations of the conditional critical region using a split binary semaphore
inferred← citeshttps://doi.org/10.1016/0020-0190(80)90068-xopenalex-snapshot
The readers and writers problem avoided
inferred← citeshttps://doi.org/10.1016/0020-0190(82)90041-2openalex-snapshot
A communication concept for distributed systems
inferred← citeshttps://doi.org/10.1016/0096-0551(79)90008-0openalex-snapshot
An approach to software system behavior description
inferred← citeshttps://doi.org/10.1016/0096-0551(83)90028-0openalex-snapshot
A distributed synchronization mechanism for interacting processes
inferred← citeshttps://doi.org/10.1016/0165-6074(90)90141-uopenalex-snapshot
Recent improvements on the concept of conditional critical regions
inferred← citeshttps://doi.org/10.1016/0304-3975(81)90110-9openalex-snapshot
The temporal semantics of concurrent programs
inferred← citeshttps://doi.org/10.1016/0304-3975(83)90113-5openalex-snapshot
Automata and concurrency
inferred← citeshttps://doi.org/10.1016/b978-0-408-02938-4.50016-4openalex-snapshot
Key references in distributed computer systems 1959–1989
inferred← citeshttps://doi.org/10.1016/s0022-0000(75)80018-3openalex-snapshot
Proving assertions about parallel programs
inferred← citeshttps://doi.org/10.1109/32.56100openalex-snapshot
Specifying Ada server tasks with executable formal grammars
inferred← citeshttps://doi.org/10.1109/71.238301openalex-snapshot
Capsules: a shared memory access mechanism for Concurrent C/C++
inferred← citeshttps://doi.org/10.1109/cmpcon.1977.680869openalex-snapshot
Improvements In Real Time Distributed Control
inferred← citeshttps://doi.org/10.1109/mark.1979.8817153openalex-snapshot
Maintaining order and consistency in multi-access data
inferred← citeshttps://doi.org/10.1109/milcom.1983.4794801openalex-snapshot
On the Uses of Synchronization in Hard-real-time Systems
inferred← citeshttps://doi.org/10.1109/sfcs.1978.11openalex-snapshot
Consistent and complete proof rules for the total correctness of parallel programs
inferred← citeshttps://doi.org/10.1109/swat.1972.2openalex-snapshot
Consistency of synchronization nets using P and V operations
inferred← citeshttps://doi.org/10.1109/tse.1977.229904openalex-snapshot
Proving the Correctness of Multiprocess Programs
inferred← citeshttps://doi.org/10.1109/tse.1978.233868openalex-snapshot
Implementation of a Generalized Critical Region Construct
inferred← citeshttps://doi.org/10.1109/tse.1979.234186openalex-snapshot
On the Design of a Language for Programming Real-Time Concurrent Processes
inferred← citeshttps://doi.org/10.1137/0210016openalex-snapshot
The Total Correctness of Parallel Programs
inferred← citeshttps://doi.org/10.1145/1014196.803324openalex-snapshot
Operating system enhancement through firmware
inferred← citeshttps://doi.org/10.1145/234286.1057814openalex-snapshot
Monitors and Concurrent Pascal
inferred← citeshttps://doi.org/10.1145/324634.325237openalex-snapshot
Analyzing synchronization problems by using event histories as languages
inferred← citeshttps://doi.org/10.1145/357195.357198openalex-snapshot
Concurrent Reading While Writing
inferred← citeshttps://doi.org/10.1145/360248.360251openalex-snapshot
Formal verification of parallel programs
inferred← citeshttps://doi.org/10.1145/3816707openalex-snapshot
Tony Hoare: his path to the ACM Turing Award
inferred← citeshttps://doi.org/10.1145/390014.808285openalex-snapshot
A short discussion of interprocess communication in the sue/360/370 operating system
inferred← citeshttps://doi.org/10.1145/390014.808287openalex-snapshot
The grok project data structures and process communication
inferred← citeshttps://doi.org/10.1145/390016.808454openalex-snapshot
Constructing correct and efficient concurrent programs
inferred← citeshttps://doi.org/10.1145/775280.775282openalex-snapshot
A proposal for certain process management and intercommunication primitives
inferred← citeshttps://doi.org/10.1145/775284.775285openalex-snapshot
The TYPESET-10 Message Exchange Facility
inferred← citeshttps://doi.org/10.1145/800009.808062openalex-snapshot
Limitations of Dijkstra's Semaphore Primitives and Petri nets
inferred← citeshttps://doi.org/10.1145/800021.808285openalex-snapshot
A short discussion of interprocess communication in the sue/360/370 operating system
inferred← citeshttps://doi.org/10.1145/800119.803900openalex-snapshot
Limitations of synchronization primitives with conditional branching and global variables
inferred← citeshttps://doi.org/10.1145/800119.803902openalex-snapshot
Parallel scheduling of programs in a restricted model of computation
inferred← citeshttps://doi.org/10.1145/850648.850649openalex-snapshot
Process synchronization by counter variables
inferred← citeshttps://doi.org/10.1145/957195.808062openalex-snapshot
Limitations of Dijkstra's Semaphore Primitives and Petri nets
inferred← citeshttps://doi.org/10.21236/ada043450openalex-snapshot
Nondeterminism and the Correctness of Parallel 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.