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

Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

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
Perplexity

Perplexity is an AI-powered search and answer engine designed to provide accurate, real-time information. It combines natural language processing with web search to deliver concise and reliable answers. Users can ask questions conversationally and receive responses backed by cited sources. The...

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
Shift

Shift is the first fully customizable browser that empowers you to make the most of your life online. Shift allows you to drag and drop apps, bars, and controls, to create a central hub that adapts to however you work. Sign into 1,500+ web apps, swap instantly between Spaces for work, side...

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