On-the-fly analysis of distributed computations

DOI10.1016/0020-0190(95)00048-HMaRDI QIDQ673006zbMATH OpenOpenAlexFDO

Authors Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(95)00048-h

zbMATH Keywords

Causal precedenceControl flowsDistributed computationObservable eventSequence analysis

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Recommendations

• Data flow analysis of distributed communicating processes
• Reachability analysis on distributed executions
• Shared global states in distributed computations
• scientific article; zbMATH DE number 1286115
• A framework for viewing atomic events in distributed computations

Cites work

• Modeling concurrency with partial orders
• Reachability analysis on distributed executions
• Time, clocks, and the ordering of events in a distributed system

Cited in

(7)

• Observing Distributed Computation. A Dynamic-Epistemic Approach
• A NOTE ON THE DETERMINATION OF THE IMMEDIATE PREDECESSORS IN A DISTRIBUTED COMPUTATION
• Reachability analysis on distributed executions
• Detecting diamond necklaces in labeled dags (a problem from distributed debugging)
• Scrolling partially ordered event displays
• scientific article; zbMATH DE number 1950676 (Why is no real title available?)
• Measure of parallelism of distributed computations

This page was built for publication: On-the-fly analysis of distributed computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673006)