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

Related topics

Related topics

7 relations
Actor modelCommunicating sequential processesDeadlockGroovy
Expand

Broader (1)

Concurrent computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Alting barriers: synchronisation with choice in Java using JCSP
Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived concurrency primitives in Java… Expand
Is this relevant?
2010
2010
What determines credit participation and credit constraints of the poor in peri-urban areas, Vietnam?
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
A dynamic connection capability for pervasive adaptive environments using JCSP
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
Integrating and Extending JCSP
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
Mobility in JCSP: New Mobile Channel and Mobile Process Models
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
CSP for .NET Based on JCSP
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
Verification of JCSP Programs
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
JCSP-Poison: Safe Termination of CSP Process Networks
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
Automatic Conversion of CSP to CTJ, JCSP, and CCSP
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
Using Java for Parallel Computing JCSP versus CTJ, a comparison
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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE