Tool integration for flexible simulation of distributed algorithms

DOI10.1002/SPE.419zbMath0983.68810OpenAlexW2160926617MaRDI QIDQ2758784

Sol M. Shatz, Shashank Khanvilkar

Publication date: 29 April 2002

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.419

zbMATH Keywords

mutual exclusiondeadlock detection

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

This page was built for publication: Tool integration for flexible simulation of distributed algorithms