concurrencysuite online with Winfy

We have hosted the application concurrencysuite in order to run this application in our online workstations with Wine or directly.

Quick description about 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.

Audience: Education.
User interface: Java Swing.
Programming Language: Java.

.