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…

2008

We present a critical investigation of the current implementation of JCSP Networking, examining in detail the structure and…

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

We describe the rst proof system for concurrent programs based on Com- municating Sequential Processes for Java (JCSP). The…

2003

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

2000

Java provides support for concurrent and parallel programming through threads, monitors and its socket and Remote Method…