Skip to content
Sections
>> Trisquel >> 套件 >> aramo >> doc >> libjcsp-java-doc
etiona  ] [  nabia  ] [  aramo  ]
[ 原始碼: jcsp  ]

套件: libjcsp-java-doc (1.1-rc4-2.1)

Documentation for libjcsp-java

Documentation for JCSP (Communication Sequential Processes for Java) that is a library providing a concurrency model that is a combination of ideas from Hoare's CSP and Milner's pi-calculus.

Communicating Sequential Processes (CSP) is a mathematical theory for specifying and verifying complex patterns of behaviour arising from interactions between concurrent objects.

JSCP provides a base range of CSP primitives plus a rich set of extensions. Also included is a package providing CSP process wrappers giving a channel interface to all Java AWT widgets and graphics operations. It is extensively (javadoc)umented and includes much teaching.

JCSP is an alternative concurrency model to the threads and mechanisms built into Java. It is also compatible with it since it is implemented on top of it.

其他與 libjcsp-java-doc 有關的套件

  • 依賴
  • 推薦
  • 建議
  • sug: libjcsp-java (= 1.1-rc4-2.1)
    Java library providing Communicating Sequential Processes (CSP) features

下載 libjcsp-java-doc

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
all 1,991.9 kB22144 kB [文件列表]