|
This category is for Java-related software (applets, libraries, etc.) and research involving programming using CSP (Communicating Sequential Processes) and Occam principles and style via Java syntax and portability.
|
|
|
1. |
Quickstone Technologies Ltd.
-
Makes JCSP Network Edition, Micro Edition, and Toolset; consulting; Ultrair Platform and Office, to make network-enabled programs for mobile phones of small size, yet with more functionality than possible with normal J2ME MIDP.
|
|
|
2. |
Communicating Sequential Processes for Java: JCSP
-
Descriptions, resources, books, publications, mail list, links.
|
|
|
3. |
CSP for Java
-
Communicating Threads for Java: realtime Java extension. Descriptions, news, downloads, links. [Control Laboratory University of Twente]
|
|
|
4. |
Java CSP Channel Demonstration
-
Applet coordinates multiple threads using set of classes to pass messages between threads via Tony Hoare Communicating Sequential Processes model. Simulates simple airline flight booking system, with several booking agents, and central database.
|
|
|
5. |
JavaPP
-
Java Plug & Play, collaborative effort adds CSP/Occam model to Java threads. Description, publications, demos, downloads, links.
|
|
|