On the public citation graph
Detecting causal relationships in distributed computations: In search of the holy grail
0 signed · 438 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.1002/spe.4380160304openalex-snapshot
A probe effect in concurrent programs
inferredcites →https://doi.org/10.1006/jpdc.1993.1075openalex-snapshot
Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation
inferredcites →https://doi.org/10.1007/3-540-18086-9_29openalex-snapshot
A strong part of concurrency
inferredcites →https://doi.org/10.1007/3-540-50403-6_37openalex-snapshot
Temporal logic and causality in concurrent systems
inferredcites →https://doi.org/10.1007/3-540-51687-5_31openalex-snapshot
Combinatorics and geometry of consistent cuts : Application to concurrency theory
inferredcites →https://doi.org/10.1007/3-540-51687-5_45openalex-snapshot
A new algorithm to implement causal ordering
inferredcites →https://doi.org/10.1007/3-540-55210-3_197openalex-snapshot
Interval approximations of message causality in distributed executions
inferredcites →https://doi.org/10.1007/3-540-56287-7_110openalex-snapshot
Detection of unstable predicates in distributed programs
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_17openalex-snapshot
On the Development of Reactive Systems
inferredcites →https://doi.org/10.1007/bf01379149openalex-snapshot
Modeling concurrency with partial orders
inferredcites →https://doi.org/10.1007/bf01782776openalex-snapshot
Algorithms for distributed termination detection
inferredcites →https://doi.org/10.1007/bf02252679openalex-snapshot
Concurrent common knowledge: defining agreement for asynchronous systems
inferredcites →https://doi.org/10.1007/bf02252682openalex-snapshot
Verification of distributed programs using representative interleaving sequences
inferredcites →https://doi.org/10.1007/bfb0013026openalex-snapshot
An introduction to event structures
inferredcites →https://doi.org/10.1007/bfb0022452openalex-snapshot
Detection of global state predicates
inferredcites →https://doi.org/10.1007/bfb0022474openalex-snapshot
Petri nets, event structures and domains
inferredcites →https://doi.org/10.1007/bfb0023846openalex-snapshot
Arithmetic + logic + geometry = concurrency
inferredcites →https://doi.org/10.1007/bfb0032948openalex-snapshot
Efficient execution replay technique for distributed memory architectures
inferredcites →https://doi.org/10.1007/s004460050018openalex-snapshot
Synchronous, asynchronous, and causally ordered communication
inferredcites →https://doi.org/10.1016/0020-0190(87)90164-5openalex-snapshot
Inevitability in concurrent systems
inferredcites →https://doi.org/10.1016/0020-0190(91)90008-6openalex-snapshot
The causal ordering abstraction and a simple way to implement it
inferredcites →https://doi.org/10.1016/0020-0190(91)90055-mopenalex-snapshot
Concerning the size of logical clocks in distributed systems
inferredcites →https://doi.org/10.1016/0020-0190(92)90028-topenalex-snapshot
An efficient implementation of vector clocks
inferredcites →https://doi.org/10.1016/0020-0190(92)90107-7openalex-snapshot
Recording distributed snopshots based on causal order of message delivery
inferredcites →https://doi.org/10.1016/0164-1212(83)90011-0openalex-snapshot
High-level debugging of distributed systems: The behavioral abstraction approach
inferredcites →https://doi.org/10.1016/0164-1212(83)90012-2openalex-snapshot
Generalized path expressions: A high-level debugging mechanism
inferredcites →https://doi.org/10.1016/0196-6774(90)90022-7openalex-snapshot
Recovery in distributed systems using optimistic message logging and checkpointing
inferredcites →https://doi.org/10.1016/0304-3975(81)90112-2openalex-snapshot
Petri nets, event structures and domains, part I
inferredcites →https://doi.org/10.1016/0304-3975(90)90096-zopenalex-snapshot
Interleaving set temporal logic
inferredcites →https://doi.org/10.1016/0743-7315(92)90058-uopenalex-snapshot
Global conditions in debugging distributed programs
inferredcites →https://doi.org/10.1109/2.84874openalex-snapshot
Logical time in distributed computing systems
inferredcites →https://doi.org/10.1109/52.88942openalex-snapshot
Debugging multithreaded programs with MPD
inferredcites →https://doi.org/10.1109/cmpsac.1991.170249openalex-snapshot
Timestamping events for inferring 'affects' relation and potential causality
inferredcites →https://doi.org/10.1109/dcs.1988.12532openalex-snapshot
Breakpoints and halting in distributed programs
inferredcites →https://doi.org/10.1109/hicss.1988.11802openalex-snapshot
Global events and global breakpoints in distributed systems
inferredcites →https://doi.org/10.1109/icdcs.1989.37931openalex-snapshot
Simultaneous regions: a framework for the consistent monitoring of distributed systems
inferredcites →https://doi.org/10.1109/icdcs.1989.37995openalex-snapshot
Immediate ordered service in distributed systems
inferredcites →https://doi.org/10.1109/icdcs.1990.89277openalex-snapshot
Causal distributed breakpoints
inferredcites →https://doi.org/10.1109/icdcs.1990.89297openalex-snapshot
Slow memory: weakening consistency to enhance concurrency in distributed shared memories
inferredcites →https://doi.org/10.1109/icdcs.1991.148677openalex-snapshot
Implementing and programming causal distributed shared memory
inferredcites →https://doi.org/10.1109/spdp.1993.395472openalex-snapshot
Incremental garbage collection for causal relationship computation in distributed systems
inferredcites →https://doi.org/10.1109/superc.1992.236654openalex-snapshot
Optimal tracing and replay for debugging message-passing parallel programs
inferredcites →https://doi.org/10.1109/tc.1987.1676929openalex-snapshot
Debugging Parallel Programs with Instant Replay
inferredcites →https://doi.org/10.1145/112600.112620openalex-snapshot
Exploiting locality in maintaining potential causality
inferredcites →https://doi.org/10.1145/122759.122774openalex-snapshot
Consistent detection of global predicates
inferredcites →https://doi.org/10.1145/128738.128742openalex-snapshot
Lightweight causal and atomic group multicast
inferredcites →https://doi.org/10.1145/155848.155857openalex-snapshot
Causal controversy at Le Mont St.-Michel
inferredcites →https://doi.org/10.1145/163298.163303openalex-snapshot
The process group approach to reliable distributed computing
inferredcites →https://doi.org/10.1145/200994.201005openalex-snapshot
Local and temporal predicates in distributed systems
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/37499.37515openalex-snapshot
Exploiting virtual synchrony in distributed systems
inferredcites →https://doi.org/10.1145/3959.3962openalex-snapshot
Optimistic recovery in distributed systems
inferredcites →https://doi.org/10.1145/53990.54005openalex-snapshot
Debugging concurrent processes: a case study
inferredcites →https://doi.org/10.1145/588111.588124openalex-snapshot
Sacrificing serializability to attain high availability of data in an unreliable network
inferredcites →https://doi.org/10.1145/68210.69233openalex-snapshot
Partial orders for parallel debugging
inferredcites →https://doi.org/10.1145/68210.69237openalex-snapshot
A graphical representation of concurrent processes
inferredcites →https://doi.org/10.1145/69215.69233openalex-snapshot
Partial orders for parallel debugging
inferredcites →https://doi.org/10.1145/69215.69237openalex-snapshot
A graphical representation of concurrent processes
inferredcites →https://doi.org/10.1145/800222.806750openalex-snapshot
Efficient solutions to the replicated log and dictionary problems
inferredcites →https://doi.org/10.1145/960116.54005openalex-snapshot
Debugging concurrent processes: a case study
inferredcites →https://doi.org/10.1145/99163.99166openalex-snapshot
Modeling concurrency in parallel debugging
inferredcites →https://doi.org/10.1145/99164.99166openalex-snapshot
Modeling concurrency in parallel debugging
inferredcites →https://doi.org/10.1145/99583.99625openalex-snapshot
Modeling concurrency with geometry
inferredcites →https://doi.org/10.21236/ada238065openalex-snapshot
The Process Group Approach to Reliable Distributed Computing
inferredcites →https://doi.org/10.25911/5d6f9d5c29a3bopenalex-snapshot
Dynamic analysis of event orderings in message-passing systems
inferredcites →https://doi.org/10.4064/fm-16-1-386-389openalex-snapshot
Sur l'extension de l'ordre partiel
inferredcites →https://doi.org/10.5555/147877.148058openalex-snapshot
Optimal tracing and replay for debugging message-passing parallel programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/0470072644openalex-snapshot
Design and Analysis of Distributed Algorithms
inferred← citeshttps://doi.org/10.1002/9781118180518.app2openalex-snapshot
Appendix B: Time in Distributed Systems
inferred← citeshttps://doi.org/10.1002/cpe.2990openalex-snapshot
An event view specification approach for Supporting Service process collaboration
inferred← citeshttps://doi.org/10.1006/jcss.1997.1512openalex-snapshot
Shared Global States in Distributed Computations
inferred← citeshttps://doi.org/10.1006/jpdc.1995.1098openalex-snapshot
Specification and Verification of Dynamic Properties in Distributed Computations
inferred← citeshttps://doi.org/10.1006/jpdc.1997.1374openalex-snapshot
Efficient Detection of Channel Predicates in Distributed Systems
inferred← citeshttps://doi.org/10.1006/jpdc.1998.1493openalex-snapshot
Efficient Vector Time with Dynamic Process Creation and Termination
inferred← citeshttps://doi.org/10.1006/jpdc.2001.1774openalex-snapshot
Causal Order Delivery in a Multicast Environment: An Improved Algorithm
inferred← citeshttps://doi.org/10.1007/11555223_2openalex-snapshot
Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/11604655_24openalex-snapshot
Analysis of Interval-Based Global State Detection
inferred← citeshttps://doi.org/10.1007/11607380_9openalex-snapshot
Monitoring for Hierarchical Web Services Compositions
inferred← citeshttps://doi.org/10.1007/3-540-40064-8_21openalex-snapshot
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization
inferred← citeshttps://doi.org/10.1007/3-540-44520-x_85openalex-snapshot
Timestamping Algorithms: A Characterization and a Few Properties
inferred← citeshttps://doi.org/10.1007/3-540-44681-8_69openalex-snapshot
Performance Evaluation of Plausible Clocks
inferred← citeshttps://doi.org/10.1007/3-540-44681-8_8openalex-snapshot
Self-Organizing Hierarchical Cluster Timestamps
inferred← citeshttps://doi.org/10.1007/3-540-45438-1_7openalex-snapshot
(Im)Possibilities of Predicate Detection in Crash-Affected Systems
inferred← citeshttps://doi.org/10.1007/3-540-45718-6_81openalex-snapshot
TRaDe: Data Race Detection for Java
inferred← citeshttps://doi.org/10.1007/3-540-46475-1_6openalex-snapshot
Topology-Aware Algorithms for Large-Scale Communication
inferred← citeshttps://doi.org/10.1007/3-540-48169-9_14openalex-snapshot
The Congenial Talking Philosophers Problem in Computer Networks
inferred← citeshttps://doi.org/10.1007/3-540-48311-x_113openalex-snapshot
Universal Constructs in Distributed Computations
inferred← citeshttps://doi.org/10.1007/3-540-48311-x_114openalex-snapshot
Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example
inferred← citeshttps://doi.org/10.1007/3-540-49366-2_13openalex-snapshot
Guaranteed Mutually Consistent Checkpointing in Distributed Computations
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_94openalex-snapshot
Reachability analysis on distributed executions
inferred← citeshttps://doi.org/10.1007/3-540-58078-6_10openalex-snapshot
Efficient reconstruction of the causal relationship in distributed systems
inferred← citeshttps://doi.org/10.1007/3-540-58430-7_48openalex-snapshot
MUSE: a message passing concurrent computer for on-board space systems
inferred← citeshttps://doi.org/10.1007/3-540-60042-6_14openalex-snapshot
A non-blocking lightweight implementation of causal order message delivery
inferred← citeshttps://doi.org/10.1007/3-540-60692-0_49openalex-snapshot
Observation of software for distributed systems with RCL
inferred← citeshttps://doi.org/10.1007/3-540-61769-8_6openalex-snapshot
Plausible clocks: Constant size logical clocks for Distributed Systems
inferred← citeshttps://doi.org/10.1007/3-540-63343-x_35openalex-snapshot
Building secure and reliable network applications
inferred← citeshttps://doi.org/10.1007/3-540-63697-8_97openalex-snapshot
Debugging message passing programs using invisible message tags
inferred← citeshttps://doi.org/10.1007/3-540-64359-1_780openalex-snapshot
Testing of synchronization conditions for distributed real-time applications
inferred← citeshttps://doi.org/10.1007/3540617795_11openalex-snapshot
OCM — An OMIS compliant monitoring system
inferred← citeshttps://doi.org/10.1007/3540617795_17openalex-snapshot
Proving properties of PVM applications — A case study with CoCheck
inferred← citeshttps://doi.org/10.1007/978-0-387-35062-2_12openalex-snapshot
Checking unstable properties in distributed testing of communication protocols
inferred← citeshttps://doi.org/10.1007/978-0-387-35563-4_17openalex-snapshot
Event-Based Execution Architectures for Dynamic Software Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-89299-3_7openalex-snapshot
Debugging and Testing of Multi-Agent Systems using Design Artefacts
inferred← citeshttps://doi.org/10.1007/978-1-4471-1496-3_9openalex-snapshot
Activity Coordination in Decentralized Working Environments
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_12openalex-snapshot
Linear Space Algorithm for On-line Detection of Global Predicates
inferred← citeshttps://doi.org/10.1007/978-1-4615-4123-3_10openalex-snapshot
Efficient Detection of Unstable Global Conditions Based on Monotonic Channel Predicates
inferred← citeshttps://doi.org/10.1007/978-3-030-00006-6_3openalex-snapshot
A Control Approach Using Network Latency Interval to Preserve Real-Time Causality
inferred← citeshttps://doi.org/10.1007/978-3-030-01325-7_29openalex-snapshot
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks
inferred← citeshttps://doi.org/10.1007/978-3-030-05366-6_14openalex-snapshot
On the Growth of the Prime Numbers Based Encoded Vector Clock
inferred← citeshttps://doi.org/10.1007/978-3-030-57811-4_25openalex-snapshot
The Bloom Clock to Characterize Causality in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-65621-8_1openalex-snapshot
The Bloom Clock for Causality Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-73103-8_23openalex-snapshot
Topology and Structure of Directed Acyclic Graphs
inferred← citeshttps://doi.org/10.1007/978-3-031-02477-1openalex-snapshot
Replicated Data Management for Mobile Computing
inferred← citeshttps://doi.org/10.1007/978-3-031-44274-2_5openalex-snapshot
Brief Announcement: Byzantine-Tolerant Detection of Causality in Synchronous Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-85638-9_5openalex-snapshot
Using Minicasts for Efficient Asynchronous Causal Unicast and Byzantine Tolerance
inferred← citeshttps://doi.org/10.1007/978-3-032-20732-6_19openalex-snapshot
Generating Causal Logs to Explain Attacks
inferred← citeshttps://doi.org/10.1007/978-3-032-35251-4_35openalex-snapshot
An Event-Based Causality Model for Mobile Multiagent Systems
inferred← citeshttps://doi.org/10.1007/978-3-0348-8534-8_42openalex-snapshot
Implementing a N-Mixed-Memory Model on a Distributed Memory System
inferred← citeshttps://doi.org/10.1007/978-3-319-19129-4_6openalex-snapshot
Concise Server-Wide Causality Management for Eventually Consistent Data Stores
inferred← citeshttps://doi.org/10.1007/978-3-319-67531-2_17openalex-snapshot
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers
inferred← citeshttps://doi.org/10.1007/978-3-322-86771-1_12openalex-snapshot
Leistungsbewertung von Parallelrechnersystemen
inferred← citeshttps://doi.org/10.1007/978-3-322-86771-1_13openalex-snapshot
Werkzeuge zur Entwicklung paralleler Programme
inferred← citeshttps://doi.org/10.1007/978-3-540-24617-6_2openalex-snapshot
On Checking Whether a Predicate Definitely Holds
inferred← citeshttps://doi.org/10.1007/978-3-540-30229-2_15openalex-snapshot
Subscription Propagation in Highly-Available Publish/Subscribe Middleware
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_31openalex-snapshot
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism
inferred← citeshttps://doi.org/10.1007/978-3-540-76848-7_44openalex-snapshot
An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-76890-6_29openalex-snapshot
Improving on Version Stamps
inferred← citeshttps://doi.org/10.1007/978-3-540-85257-5_29openalex-snapshot
Understanding Distributed Program Behavior Using a Multicast Communication Scheme
inferred← citeshttps://doi.org/10.1007/978-3-540-89856-6_10openalex-snapshot
Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns
inferred← citeshttps://doi.org/10.1007/978-3-642-11476-2_21openalex-snapshot
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition
inferred← citeshttps://doi.org/10.1007/978-3-642-13067-0_52openalex-snapshot
A Mechanism for Solving the Sequential Inconsistent Event in a Peer-to-Peer Network Virtual Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-27848-8_610-1openalex-snapshot
Distributed Snapshots
inferred← citeshttps://doi.org/10.1007/978-3-642-38123-2_12openalex-snapshot
Order Constraints on Message Delivery
inferred← citeshttps://doi.org/10.1007/978-3-642-38123-2_7openalex-snapshot
Logical Time in Asynchronous Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-45242-0_15openalex-snapshot
Konsistenz in Cloud-Datenbanken
inferred← citeshttps://doi.org/10.1007/978-3-642-78658-7_6openalex-snapshot
Kommunikationsunterstützung für verteilte Transaktionen mit Echtzeitanforderungen
inferred← citeshttps://doi.org/10.1007/978-3-662-10874-1_14openalex-snapshot
DREAM: Distributed Reliable Event-Based Application Management
inferred← citeshttps://doi.org/10.1007/978-3-662-43352-2_6openalex-snapshot
Scalable and Accurate Causality Tracking for Eventually Consistent Stores
inferred← citeshttps://doi.org/10.1007/978-3-7091-9396-9_23openalex-snapshot
Specification and Verification of Behavioral Patterns in Distributed Computations
inferred← citeshttps://doi.org/10.1007/978-981-10-2546-4_10openalex-snapshot
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
inferred← citeshttps://doi.org/10.1007/bf01901615openalex-snapshot
Optimal tracing and replay for debugging message-passing parallel programs
inferred← citeshttps://doi.org/10.1007/bf02280830openalex-snapshot
Efficient detection of a class of stable properties
inferred← citeshttps://doi.org/10.1007/bf03005244openalex-snapshot
Semantics of recovery lines for backward recovery in distributed systems
inferred← citeshttps://doi.org/10.1007/bfb0022155openalex-snapshot
Efficient detection of restricted classes of global predicates
inferred← citeshttps://doi.org/10.1007/bfb0030684openalex-snapshot
Detecting global predicates in distributed systems with clocks
inferred← citeshttps://doi.org/10.1007/bfb0057783openalex-snapshot
Debugging distributed implementations of modal process systems
inferred← citeshttps://doi.org/10.1007/bfb0057904openalex-snapshot
Significance and uses of fine-grained synchronization relations
inferred← citeshttps://doi.org/10.1007/s00165-016-0379-xopenalex-snapshot
On the diversity of asynchronous communication
inferred← citeshttps://doi.org/10.1007/s00446-003-0105-9openalex-snapshot
The power of logical clock abstractions
inferred← citeshttps://doi.org/10.1007/s00446-007-0044-yopenalex-snapshot
Concise version vectors in WinFS
inferred← citeshttps://doi.org/10.1007/s00446-010-0124-2openalex-snapshot
Efficient online algorithm for identifying useless states in distributed systems
inferred← citeshttps://doi.org/10.1007/s004460050040openalex-snapshot
Vector time and causality among abstract events in distributed computations
inferred← citeshttps://doi.org/10.1007/s004460050044openalex-snapshot
Necessary and sufficient conditions on information for causal message ordering and their optimal implementation
inferred← citeshttps://doi.org/10.1007/s004460050048openalex-snapshot
Causality and atomicity in distributed computations
inferred← citeshttps://doi.org/10.1007/s004460050049openalex-snapshot
Detection of global predicates: Techniques and their limitations
inferred← citeshttps://doi.org/10.1007/s004460050065openalex-snapshot
Plausible clocks: constant size logical clocks for distributed systems
inferred← citeshttps://doi.org/10.1007/s004460050069openalex-snapshot
Detecting global predicates in distributed systems with clocks
inferred← citeshttps://doi.org/10.1007/s004460100069openalex-snapshot
The congenial talking philosophers problem in computer networks
inferred← citeshttps://doi.org/10.1007/s10472-008-9091-8openalex-snapshot
Reasoning about non-immediate triggers in biological networks
inferred← citeshttps://doi.org/10.1007/s10586-011-0181-8openalex-snapshot
Extending the scope of the controlled logical clock
inferred← citeshttps://doi.org/10.1007/s10664-020-09892-xopenalex-snapshot
variED: an editor for collaborative, real-time feature modeling
inferred← citeshttps://doi.org/10.1007/s446-002-8026-7openalex-snapshot
Causality tracking in causal message-logging protocols
inferred← citeshttps://doi.org/10.1016/0140-3664(93)90049-xopenalex-snapshot
Debugging tool for distributed Estelle programs
inferred← citeshttps://doi.org/10.1016/0164-1212(96)00027-1openalex-snapshot
A unified framework for the specification and run-time detection of dynamic properties in distributed computations
inferred← citeshttps://doi.org/10.1016/b978-1-55860-348-6.50026-2openalex-snapshot
10.1016/b978-1-55860-348-6.50026-2
inferred← citeshttps://doi.org/10.1016/j.egypro.2011.10.352openalex-snapshot
Causal Order Mechanisms Based on the Virtual Receiving Time in A Distributed Multimedia System
inferred← citeshttps://doi.org/10.1016/j.egypro.2011.12.003openalex-snapshot
An Event Ordering Control Method Based on the Message Transmission Time Interval in a DVE
inferred← citeshttps://doi.org/10.1016/j.egypro.2011.12.085openalex-snapshot
A Causality Communication Algorithm with Minimal Calculable Moment in Decentralized Network Systems
inferred← citeshttps://doi.org/10.1016/j.egypro.2011.12.829openalex-snapshot
A Causality Consistency Approach in Large-Scale Asynchronous Distributed Virtual Environments
inferred← citeshttps://doi.org/10.1016/j.future.2003.07.013openalex-snapshot
Characterization and delivery of directly coupled causal messages in distributed systems
inferred← citeshttps://doi.org/10.1016/j.future.2025.108336openalex-snapshot
Let’s trace it: Fine-grained serverless benchmarking for synchronous and asynchronous applications
inferred← citeshttps://doi.org/10.1016/j.ic.2024.105212openalex-snapshot
Detecting causality in the presence of Byzantine processes: The case of synchronous systems
inferred← citeshttps://doi.org/10.1016/j.ipl.2019.105837openalex-snapshot
Crash-tolerant causal broadcast in O(n) messages
inferred← citeshttps://doi.org/10.1016/j.is.2021.101765openalex-snapshot
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.02.006openalex-snapshot
Formalization of Habanero phasers using Coq
inferred← citeshttps://doi.org/10.1016/j.jpdc.2008.01.006openalex-snapshot
Data-stream-based global event monitoring using pairwise interactions
inferred← citeshttps://doi.org/10.1016/j.jpdc.2016.12.007openalex-snapshot
An efficient causal group communication protocol for P2P hierarchical overlay networks
inferred← citeshttps://doi.org/10.1016/j.jpdc.2020.02.008openalex-snapshot
Prime clock: Encoded vector clock to characterize causality in distributed systems
inferred← citeshttps://doi.org/10.1016/j.parco.2025.103136openalex-snapshot
Byzantine-tolerant detection of causality: There is no holy grail
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.09.014openalex-snapshot
Abstractions for fault-tolerant global computing
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.04.037openalex-snapshot
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.06.021openalex-snapshot
Byzantine-tolerant causal broadcast
inferred← citeshttps://doi.org/10.1016/s0020-0190(02)00241-7openalex-snapshot
On the minimal information to encode timestamps in distributed computations
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00213-9openalex-snapshot
A page-coherent, causally consistent protocol for distributed shared memory
inferred← citeshttps://doi.org/10.1016/s0167-739x(00)00085-6openalex-snapshot
An efficient logging and recovery scheme for lazy release consistent distributed shared memory systems
inferred← citeshttps://doi.org/10.1016/s0167-8191(02)00165-5openalex-snapshot
An efficient causal logging scheme for recoverable distributed shared memory systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00195-3openalex-snapshot
A framework for viewing atomic events in distributed computations
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00056-1openalex-snapshot
A new generalized software complexity metric for distributed programs
inferred← citeshttps://doi.org/10.1016/s1367-5788(01)00014-1openalex-snapshot
Distributed, object-oriented, active, real-time DBMSS: we want it all - do we need them (at) all?
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)39959-7openalex-snapshot
Distributed, Object-Oriented, Active, Real-Time DBMSS: We Want It All - Do We Need Them (At) All?
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80419-5openalex-snapshot
Abstractions for Fault-Tolerant Global Computing
inferred← citeshttps://doi.org/10.1023/a:1008158907662openalex-snapshot
Auditing Causal Relationships of Group Multicast Communications in Group-Oriented Distributed Systems
inferred← citeshttps://doi.org/10.1023/a:1008685117587openalex-snapshot
High-Level Views of Distributed Executions: Convex Abstract Events
inferred← citeshttps://doi.org/10.1023/a:1010033827337openalex-snapshot
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
inferred← citeshttps://doi.org/10.1023/a:1010056221226openalex-snapshot
Verifying Compliance with Commitment Protocols
inferred← citeshttps://doi.org/10.1023/a:1019092506798openalex-snapshot
Concurrent single stepping in event‐visualization tools
inferred← citeshttps://doi.org/10.1023/a:1019134007206openalex-snapshot
Dependency sequences and hierarchical clocks: Efficient alternatives to vector clocks for mobile computing systems
inferred← citeshttps://doi.org/10.1023/b:mone.0000034704.13096.22openalex-snapshot
Causality and the Spatial–Temporal Ordering in Mobile Systems
inferred← citeshttps://doi.org/10.1051/ita/1997310403051openalex-snapshot
Calculs approchés de la borne inférieure de valeurs réparties
inferred← citeshttps://doi.org/10.1080/17445760600760876openalex-snapshot
Consistency verification in transaction-based optimistic steering of distributed computations
inferred← citeshttps://doi.org/10.1080/23311916.2018.1528029openalex-snapshot
Computational modeling of consistent observation of asynchronous distributed computation on N –manifold
inferred← citeshttps://doi.org/10.1088/0967-1846/1/6/003openalex-snapshot
Understanding the behaviour of distributed applications through reverse engineering
inferred← citeshttps://doi.org/10.1088/0967-1846/2/2/002openalex-snapshot
An application-level implementation of causal timestamps and causal ordering
inferred← citeshttps://doi.org/10.1088/0967-1846/6/2/302openalex-snapshot
The hierarchical daisy architecture for causal delivery
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.637147openalex-snapshot
Clock trees: logical clocks for programs with nested parallelism
inferred← citeshttps://doi.org/10.1109/32.748921openalex-snapshot
Trace-based load characterization for generating performance software models
inferred← citeshttps://doi.org/10.1109/32.761450openalex-snapshot
Consistency issues in distributed checkpoints
inferred← citeshttps://doi.org/10.1109/71.277788openalex-snapshot
Detection of weak unstable predicates in distributed programs
inferred← citeshttps://doi.org/10.1109/71.553309openalex-snapshot
Detection of strong unstable predicates in distributed programs
inferred← citeshttps://doi.org/10.1109/anss.2007.5openalex-snapshot
A Consistency Model for Highly Interactive Multi-player Online Games
inferred← citeshttps://doi.org/10.1109/apsec.1995.496969openalex-snapshot
Toward software metrics for distributed software
inferred← citeshttps://doi.org/10.1109/ase.2003.1240329openalex-snapshot
An approach for tracing and understanding asynchronous architectures
inferred← citeshttps://doi.org/10.1109/cds.1998.675776openalex-snapshot
Asynchronous construction of consistent global snapshots in the Object and Action Model
inferred← citeshttps://doi.org/10.1109/cloud.2018.00039openalex-snapshot
Tracing Function Dependencies across Clouds
inferred← citeshttps://doi.org/10.1109/cmc.2010.301openalex-snapshot
Modeling the Order Relations of Events in MANETs
inferred← citeshttps://doi.org/10.1109/cmpsac.1995.524790openalex-snapshot
Deriving distributed algorithms from a general predicate detector
inferred← citeshttps://doi.org/10.1109/coopis.1999.792159openalex-snapshot
Event composition in time-dependent distributed systems
inferred← citeshttps://doi.org/10.1109/correctness56720.2022.00009openalex-snapshot
On-the-Fly Data Race Detection for MPI RMA Programs with MUST
inferred← citeshttps://doi.org/10.1109/csf.2018.00010openalex-snapshot
A Cryptographic Look at Multi-party Channels
inferred← citeshttps://doi.org/10.1109/dsn.2003.1209916openalex-snapshot
Scalably supporting durable subscriptions in a publish/subscribe system
inferred← citeshttps://doi.org/10.1109/dsn.2011.5958206openalex-snapshot
Online detection of multi-component interactions in production systems
inferred← citeshttps://doi.org/10.1109/dsn.2017.64openalex-snapshot
Secure Causal Atomic Broadcast, Revisited
inferred← citeshttps://doi.org/10.1109/empdp.2003.1183592openalex-snapshot
k-Dependency Vectors: a scalable causality-tracking protocol
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00033openalex-snapshot
Discovering Correlations: A Formal Definition of Causal Dependency Among Heterogeneous Events
inferred← citeshttps://doi.org/10.1109/ftdcs.1992.217509openalex-snapshot
EREBUS: a debugger for asynchronous distributed computing systems
inferred← citeshttps://doi.org/10.1109/ftdcs.1993.344167openalex-snapshot
The changing face of technology in distributed systems
inferred← citeshttps://doi.org/10.1109/ftdcs.1997.644737openalex-snapshot
An efficient causal order algorithm for message delivery in distributed system
inferred← citeshttps://doi.org/10.1109/ftdcs.1997.644738openalex-snapshot
Causality between nonatomic poset events in distributed computations
inferred← citeshttps://doi.org/10.1109/hicss.1995.375457openalex-snapshot
Detecting conjunctive channel predicates in a distributed programming environment
inferred← citeshttps://doi.org/10.1109/hips.1998.665139openalex-snapshot
Constructive and adaptable distributed shared memory
inferred← citeshttps://doi.org/10.1109/ic2e.2018.00027openalex-snapshot
Tracking Causal Order in AWS Lambda Applications
inferred← citeshttps://doi.org/10.1109/icapp.1995.472239openalex-snapshot
An introduction to the analysis and debug of distributed computations
inferred← citeshttps://doi.org/10.1109/icapp.2002.1173612openalex-snapshot
Orthogonal replication algorithm on cluster storage system
inferred← citeshttps://doi.org/10.1109/icccn.1998.998861openalex-snapshot
A group communication model for distributed real-time causal delivery
inferred← citeshttps://doi.org/10.1109/icccn.1999.805513openalex-snapshot
A grouping model for distributed real time causal ordering
inferred← citeshttps://doi.org/10.1109/icccn49398.2020.9209720openalex-snapshot
Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge
inferred← citeshttps://doi.org/10.1109/iccsit.2010.5565115openalex-snapshot
A consistency algorithm for causal and totally ordered event delivery in DVE
inferred← citeshttps://doi.org/10.1109/iccsn.2011.6014026openalex-snapshot
A causality based dynamic message ordering for DVEs on Wide Area Network
inferred← citeshttps://doi.org/10.1109/iccsn.2011.6014174openalex-snapshot
An effective control scheme to ensure real-time causal order in large-scale distributed interactive simulations
inferred← citeshttps://doi.org/10.1109/iccsnt.2011.6182221openalex-snapshot
Determining event ordering in mobile ad hoc networks
inferred← citeshttps://doi.org/10.1109/icdcs.1995.500006openalex-snapshot
Causal separators for large-scale multicast communication
inferred← citeshttps://doi.org/10.1109/icdcs.1995.500047openalex-snapshot
Distributed algorithms for detecting conjunctive predicates
inferred← citeshttps://doi.org/10.1109/icdcs.1995.500048openalex-snapshot
Characterizing and detecting the set of global states seen by all observers of a distributed computation
inferred← citeshttps://doi.org/10.1109/icdcs.1997.598058openalex-snapshot
An efficient logging scheme for recoverable distributed shared memory systems
inferred← citeshttps://doi.org/10.1109/icdcs.1997.603403openalex-snapshot
Comprehensive distributed garbage collection by tracking causal dependencies of relevant mutator events
inferred← citeshttps://doi.org/10.1109/icdcs.1997.603422openalex-snapshot
The hierarchical daisy architecture for causal delivery
inferred← citeshttps://doi.org/10.1109/icdcs.1997.603430openalex-snapshot
Characterizing multicast orderings using concurrency control theory
inferred← citeshttps://doi.org/10.1109/icdcs.1998.679522openalex-snapshot
Timestamps for programs using messages and shared variables
inferred← citeshttps://doi.org/10.1109/icdcs.2002.1022304openalex-snapshot
Version stamps-decentralized version vectors
inferred← citeshttps://doi.org/10.1109/icdcs.2003.1203518openalex-snapshot
The hash history approach for reconciling mutual inconsistency
inferred← citeshttps://doi.org/10.1109/icdcs.2009.71openalex-snapshot
On Optimal Concurrency Control for Optimistic Replication
inferred← citeshttps://doi.org/10.1109/icdcs.2013.66openalex-snapshot
Towards an Efficient Online Causal-Event-Pattern-Matching Framework
inferred← citeshttps://doi.org/10.1109/icdcsw.2006.34openalex-snapshot
Coping with Variable Latency and Disorder in Distributed Event Streams
inferred← citeshttps://doi.org/10.1109/icdsc.2001.918989openalex-snapshot
A hierarchical cluster algorithm for dynamic, centralized timestamps
inferred← citeshttps://doi.org/10.1109/icetc.2010.5529725openalex-snapshot
A distributed approach to consistent order delivery of concurrent events in asynchronous DVEs
inferred← citeshttps://doi.org/10.1109/icis.2008.95openalex-snapshot
Predicate Detection Modality and Semantics in Three Partially Synchronous Models
inferred← citeshttps://doi.org/10.1109/icmas.1998.699063openalex-snapshot
Developing formal specifications to coordinate heterogeneous autonomous agents
inferred← citeshttps://doi.org/10.1109/icpads.1998.741031openalex-snapshot
A causal logging scheme for lazy release consistent distributed shared memory systems
inferred← citeshttps://doi.org/10.1109/icpads.2004.1316128openalex-snapshot
How to observe real-world events through a distributed world model
showing the first 200 of 364 · page through all 364
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.