JCSP

JCSP is an implementation of Communicating Sequential Processes (CSP) for the Java programming language. Although CSP is a mathematical system, JCSP…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

In this paper we describe the design and implementation of the generalized alternative construct for the Erasmus programming…

2009

The house, office or warehouse environment is full of devices that make users’ life and work easier. People nowadays use…

2007

The original package developed for network mobility in JCSP, although useful, revealed some limitations in the underlying models…

2006

We present a CSP framework developed for the .NET platform, building upon the ideas developed for the JCSP library. Discussing…

2006

Java has become a development platform that has migrated from its initial focus for small form devices, to large full scale…

2005

A foreign-function interface generator for occam-pi p. 235 Interfacing C and occam-pi p. 249 Interactive computing with the…

2005

This paper presents a novel technique for safe partial or complete process network termination. The idea is to have two types of…

2005

The JCSPNet package from Quickstone provides the capability of transparently creating a network of processes that run across a…

2004

A correct system design is systematically obtained from the SA/RT requirements specification model of a real-time system. The aim…

2003

We present tools that automatically convert a subset of machine-readable CSP script to executable Java or C code. CSP is used to…