Faster possibility detection by combining two approaches

DOI10.1007/bfb0022156zbMath1524.68221MaRDI QIDQ6084565

Scott D. Stoller, Fred B. Schneider

Publication date: 1 December 2023

Published in: Distributed Algorithms (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Matrix multiplication via arithmetic progressions
• Gaussian elimination is not optimal
• Improved data structures for fully dynamic biconnectivity
• Time, clocks, and the ordering of events in a distributed system
• Reachability analysis on distributed executions

This page was built for publication: Faster possibility detection by combining two approaches