ConcurrencySuite

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow ConcurrencySuite

ConcurrencySuite Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of ConcurrencySuite!

Additional Project Details

Intended Audience

Education

User Interface

Java Swing

Programming Language

Java

Related Categories

Java System Software

Registered

2007-07-23

Similar Business Software

Wave Browser

Wave Browser is an efficient, eco-conscious browser that creates a cleaner, more organized, and more meaningful online experience while helping remove ocean plastic through its partnership with 4ocean. Built on the trusted Chromium foundation, Wave Browser brings essential tools directly into...

See Software
Kasm Workspaces

Kasm Workspaces streams your workplace environment directly to your web browser…on any device and from any location. Kasm uses our high-performance streaming and secure isolation technology to provide web-native Desktop as a Service (DaaS), application streaming, and secure/private web...

See Software
Apryse PDF SDK

Apryse (formerly PDFTron) powers the future of document technology. We help businesses, developers, and enterprises handle documents with unmatched speed, accuracy, and security. Whether running in secure server environments or delivering seamless web-based experiences, Apryse makes document...

See Software
Shift

Shift is a fully customizable browser where you can drag and drop apps, bars, and controls to create a central hub that adapts to however you work. Integrate 1,500+ apps, swap instantly between Spaces for work, side hustles or personal browsing, and stay logged into multiple accounts at once....

See Software
Adobe Acrobat

Adobe Acrobat Studio is a leading enterprise document platform built to scale for global teams — delivering AI-powered document intelligence, trusted PDF tools, and on-brand content creation in one secure solution. Core capabilities include PDF creation, editing, conversion, annotation,...

See Software
Secure Eraser

What is deleted from the hard drive is far from gone. As long as the data is not overwritten, anyone can make it visible again at any time. This is particularly problematic when a computer is resold or given away. Secure Eraser utilizes recognized methods for data deletion and overwrites...

See Software

Report inappropriate content