Predicate control: synchronization in distributed computations with look-ahead.

DOI10.1016/j.jpdc.2003.11.004zbMath1069.68026OpenAlexW2038026846MaRDI QIDQ1427456

Vijay K. Garg, Ashis Tarafdar

Publication date: 14 March 2004

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpdc.2003.11.004

zbMATH Keywords

synchronizationdistributed debuggingmutual exclusionpredicate detectionrollback recoverydistributed computationpredicate control

Mathematics Subject Classification ID

Distributed systems (68M14)

This page was built for publication: Predicate control: synchronization in distributed computations with look-ahead.