On the public citation graph

A formal model of atomicity in asynchronous systems

https://doi.org/10.1007/bf00289593
0 signed · 80 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-08755-9_8openalex-snapshot
Reliable computing systems
inferredcites →https://doi.org/10.1007/3-540-08755-9_9openalex-snapshot
Notes on data base operating systems
inferredcites →https://doi.org/10.1007/3-540-08921-7_54openalex-snapshot
Finding the correctness proof of a concurrent program
inferredcites →https://doi.org/10.1007/3-540-10001-6_39openalex-snapshot
A dictionary of some basic notions of net theory
inferredcites →https://doi.org/10.1007/bfb0022501openalex-snapshot
Proof of a concurrent program finding Euler paths
inferredcites →https://doi.org/10.1016/0166-5316(81)90006-7openalex-snapshot
Second international conference on distributed computing systems
inferredcites →https://doi.org/10.1090/coll/038openalex-snapshot
Theory of Graphs
inferredcites →https://doi.org/10.1109/ftcsh.1995.532636openalex-snapshot
STATE RESTORATION IN DISTRIBUTED SYSTEMS
inferredcites →https://doi.org/10.1109/tse.1975.6312842openalex-snapshot
System structure for software fault tolerance
inferredcites →https://doi.org/10.1145/320128.320129openalex-snapshot
Introduction to a system for distributed databases (SDD-1)
inferredcites →https://doi.org/10.1145/322169.322176openalex-snapshot
Consistency in Hierarchical Database Systems
inferredcites →https://doi.org/10.1145/357172.357178openalex-snapshot
Proving Liveness Properties of Concurrent Programs
inferredcites →https://doi.org/10.1145/359642.359655openalex-snapshot
On-the-fly garbage collection
inferredcites →https://doi.org/10.1145/360363.360369openalex-snapshot
The notions of consistency and predicate locks in a database system
inferredcites →https://doi.org/10.1145/390016.808467openalex-snapshot
System structure for software fault tolerance
inferredcites →https://doi.org/10.1145/390017.808319openalex-snapshot
Process structuring, synchronization, and recovery using atomic actions
inferredcites →https://doi.org/10.1145/390018.808319openalex-snapshot
Process structuring, synchronization, and recovery using atomic actions
inferredcites →https://doi.org/10.21236/ada239419openalex-snapshot
Mathematical Theory of Computation
inferredcites →https://doi.org/10.2307/2274155openalex-snapshot
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165…

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.4380230706openalex-snapshot
The duality of fault‐tolerant system structures
inferred← citeshttps://doi.org/10.1007/3-540-12896-4_361openalex-snapshot
A rigorous approach to fault-tolerant system development
inferred← citeshttps://doi.org/10.1007/3-540-15204-0_3openalex-snapshot
Concurrency axioms and D-continuous posets
inferred← citeshttps://doi.org/10.1007/3-540-15670-4_11openalex-snapshot
Concurrent behaviour: Sequences, processes and axioms
inferred← citeshttps://doi.org/10.1007/3-540-15670-4_13openalex-snapshot
Maximally concurrent evolution of non-sequential systems
inferred← citeshttps://doi.org/10.1007/3-540-19333-2_2openalex-snapshot
On the duality of fault tolerant system structures
inferred← citeshttps://doi.org/10.1007/3-540-45910-3_14openalex-snapshot
Implementing Concurrency Control in Reliable Distributed Object-Oriented Systems
inferred← citeshttps://doi.org/10.1007/3-540-50302-1_14openalex-snapshot
Reasoning about atomic objects
inferred← citeshttps://doi.org/10.1007/3-540-50302-1_15openalex-snapshot
A formal treatment of interference in remote procedure calls
inferred← citeshttps://doi.org/10.1007/3-540-51803-7_20openalex-snapshot
Interleaving set temporal logic
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_85openalex-snapshot
Verifying atomic data types
inferred← citeshttps://doi.org/10.1007/978-3-030-86359-3_28openalex-snapshot
Design and Implementation of Highly Scalable Quantifiable Data Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-75292-9_18openalex-snapshot
Failures: Their Definition, Modelling and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-21834-7_1openalex-snapshot
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-61556-6_13openalex-snapshot
Linguistic Support for Atomic Data Types
inferred← citeshttps://doi.org/10.1007/978-3-642-69698-5_3openalex-snapshot
Implementing Fault-Tolerance in a Distributed System Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-79789-7_6openalex-snapshot
From Recovery Blocks to Concurrent Atomic Actions
inferred← citeshttps://doi.org/10.1007/978-3-642-82470-8_30openalex-snapshot
Structuring Distributed Systems for Recoverability and Crash Resistance
inferred← citeshttps://doi.org/10.1007/978-3-642-82470-8_40openalex-snapshot
Fault Tolerance and System Structuring
inferred← citeshttps://doi.org/10.1007/978-3-642-88049-0_18openalex-snapshot
Design of Real-Time Fault-Tolerant Computing Stations
inferred← citeshttps://doi.org/10.1007/978-3-662-45730-6_5openalex-snapshot
A Canonical Contraction for Safe Petri Nets
inferred← citeshttps://doi.org/10.1007/978-94-009-3931-8_25openalex-snapshot
Towards Fault Tolerant Real-Time Process Control System
inferred← citeshttps://doi.org/10.1007/bf01211393openalex-snapshot
Transformation of programs for fault-tolerance
inferred← citeshttps://doi.org/10.1007/bf01379184openalex-snapshot
Verifying atomic data types
inferred← citeshttps://doi.org/10.1007/bfb0030683openalex-snapshot
Virtual precedence in asynchronous systems: Concept and applications
inferred← citeshttps://doi.org/10.1007/bfb0036470openalex-snapshot
Discreteness, K-density and D-continuity of occurrence nets
inferred← citeshttps://doi.org/10.1007/s004460050040openalex-snapshot
Vector time and causality among abstract events in distributed computations
inferred← citeshttps://doi.org/10.1007/s11704-014-3342-0openalex-snapshot
A temporal programming model with atomic blocks based on projection temporal logic
inferred← citeshttps://doi.org/10.1016/0141-9331(86)90176-6openalex-snapshot
Distributed programs: an overview of implementations
inferred← citeshttps://doi.org/10.1016/0164-1212(89)90038-1openalex-snapshot
Synchronizing events in replicated systems
inferred← citeshttps://doi.org/10.1016/0165-6074(95)00014-3openalex-snapshot
Application specific conversation schemes for ADA programs
inferred← citeshttps://doi.org/10.1016/0167-6423(89)90014-2openalex-snapshot
Semantic independence
inferred← citeshttps://doi.org/10.1016/0304-3975(87)90090-9openalex-snapshot
Sequential and concurrent behaviour in Petri net theory
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90096-zopenalex-snapshot
Interleaving set temporal logic
inferred← citeshttps://doi.org/10.1016/b978-0-08-030563-9.50013-5openalex-snapshot
PRACTICAL FAULT TOLERANT SOFTWARE FOR ASYNCHRONOUS SYSTEMS
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)61765-8openalex-snapshot
Practical Fault Tolerant Software for Asynchronous Systems
inferred← citeshttps://doi.org/10.1093/comjnl/40.8.499openalex-snapshot
Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions
inferred← citeshttps://doi.org/10.1109/32.392983openalex-snapshot
CSP methods for identifying atomic actions in the design of fault tolerant concurrent systems
inferred← citeshttps://doi.org/10.1109/5.48836openalex-snapshot
Computer-aided programming for message-passing systems: problems and solutions
inferred← citeshttps://doi.org/10.1109/ftcs.1989.105619openalex-snapshot
Replication within atomic actions and conversations: a case study in fault-tolerance duality
inferred← citeshttps://doi.org/10.1109/ftcs.1995.466948openalex-snapshot
Fault tolerance in concurrent object-oriented software through coordinated error recovery
inferred← citeshttps://doi.org/10.1109/ftdcs.1988.26724openalex-snapshot
A model to support consistency and availability in distributed system architectures
inferred← citeshttps://doi.org/10.1109/hicss.1992.183233openalex-snapshot
Operating system(s) on top of persistent object systems-the BirliX approach
inferred← citeshttps://doi.org/10.1109/ispan.2004.1300471openalex-snapshot
Checkpointing in hybrid distributed systems
inferred← citeshttps://doi.org/10.1109/reldis.1991.145408openalex-snapshot
Efficient communication of commitment-dependency information in the programmer-transparent coordination (PTC) scheme for cooperative recovery
inferred← citeshttps://doi.org/10.1109/tencon.1990.152612openalex-snapshot
Event abstraction for debugging distributed programs
inferred← citeshttps://doi.org/10.1109/tse.1981.230846openalex-snapshot
Structuring Distributed Systems for Recoverability and Crash Resistance
inferred← citeshttps://doi.org/10.1109/tse.1985.231534openalex-snapshot
A Rigorous Approach to Fault-Tolerant Programming
inferred← citeshttps://doi.org/10.1145/1041490.1041494openalex-snapshot
Synchronization and recovery of actions
inferred← citeshttps://doi.org/10.1145/142854.142865openalex-snapshot
An abstract model of rollback recovery control in distributed systems
inferred← citeshttps://doi.org/10.1145/324634.325389openalex-snapshot
Formal specification of N-modular redundancy
inferred← citeshttps://doi.org/10.1145/3318.3319openalex-snapshot
Implementation of resilient, atomic data types
inferred← citeshttps://doi.org/10.1145/41840.41855openalex-snapshot
Interleaving set temporal logic
inferred← citeshttps://doi.org/10.1145/504136.504184openalex-snapshot
Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way
inferred← citeshttps://doi.org/10.1145/78942.78944openalex-snapshot
Linguistic support for atomic data types
inferred← citeshttps://doi.org/10.1145/800221.806708openalex-snapshot
Synchronization and recovery of actions
inferred← citeshttps://doi.org/10.1145/800226.806851openalex-snapshot
Specification and implementation of resilient, atomic data types
inferred← citeshttps://doi.org/10.1145/872728.806851openalex-snapshot
Specification and implementation of resilient, atomic data types
inferred← citeshttps://doi.org/10.25405/ncl.34130508openalex-snapshot
Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence
inferred← citeshttps://doi.org/10.3233/fi-2009-192openalex-snapshot
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques
inferred← citeshttps://doi.org/10.48550/arxiv.1905.06421openalex-snapshot
Quantifiability: Concurrent Correctness from First Principles
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.