PCDP is a suite of tools for teaching and learning advanced computer science: DAJ for distributed algorithms, VN for nondeterminism, the jSpin environment for the Spin model checker, and SpinSpider for creating state diagrams.
Categories
SystemLicense
GNU General Public License version 2.0 (GPLv2)Follow ConcurrencySuite
Other Useful Business Software
Secure File Transfer for Windows with Cerberus by Redwood
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of ConcurrencySuite!