Concurrent Depth-First Search Algorithms
This web page contains code related to my paper Concurrent Depth-First Search Algorithms, submitted to TACAS. The code requires Scala (developed under version 2.10.1).- The main program files;
- A library of concurrency primitives (this needs to be on the CLASSPATH);
- A library of CSP files and corresponding tau-graph files (1.4GB, unpacks to 1.8GB).