Пакет jcsp: Информация
Исходный пакет: jcsp
Версия: 1.1-alt1_0.8.rc5jpp8
Собран: 21 апреля 2018 г. 8:43
Категория: Разработка/Java
Сообщить об ошибке в пакетеДомашняя страница: https://github.com/codehaus/jcsp
Лицензия: LGPLv2+
О пакете: Communicating Sequential Processes for Java (JCSP)
Описание:
JCSP (Communication Sequential Processes for Java) 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 behavior arising from interactions between concurrent objects. JCSP 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 (java/documented) 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.
Сопровождающий: Igor Vlasenko
Последнее изменение
19 апреля 2018 г. Igor Vlasenko 1.1-alt1_0.8.rc5jpp8
- java update
9 ноября 2017 г. Igor Vlasenko 1.1-alt1_0.7.rc5jpp8
- fc27 update
22 октября 2017 г. Igor Vlasenko 1.1-alt1_0.6.rc5jpp8
- new jpp release