On-the-fly analysis of distributed computations

DOI10.1016/0020-0190(95)00048-HzbMath0875.68457OpenAlexW2006278479MaRDI QIDQ673006

Guy-Vincent Jourdan, Claude Jard, Eddy Fromentin, 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)

Related Items (1)

A NOTE ON THE DETERMINATION OF THE IMMEDIATE PREDECESSORS IN A DISTRIBUTED COMPUTATION

Cites Work

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

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