Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

JCSP

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived concurrency primitives in Java… Expand
Is this relevant?
2010
2010
This paper uses a novel dataset collected by the first author from peri-urban areas of Ho Chi Minh City, Vietnam in 2008 to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
The house, office or warehouse environment is full of devices that make users’ life and work easier. People nowadays use… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2007
2007
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances… Expand
Is this relevant?
2007
2007
The original package developed for network mobility in JCSP, although useful, revealed some limitations in the underlying models… Expand
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
We present a CSP framework developed for the .NET platform, building upon the ideas developed for the JCSP library. Discussing… Expand
Is this relevant?
2005
2005
We describe the rst proof system for concurrent programs based on Com- municating Sequential Processes for Java (JCSP). The… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • table 1
Is this relevant?
2005
2005
This paper presents a novel technique for safe partial or complete process network termination. The idea is to have two types of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
We present tools that automatically convert a subset of machine-readable CSP script to executable Java or C code. CSP is used to… Expand
  • table I
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2000
2000
Java provides support for concurrent and parallel programming through threads, monitors and its socket and Remote Method… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?