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.

2011

It is currently very difficult to purchase any form of computer system be it, notebook, laptop, desktop server or high…

2009

This paper discusses key results that had emerged at the time from two studies, the Western Wind and Solar Integration Study…

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…

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…