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.
2015
2015
Mental health referral for student-athletes: web-based education and training.
Physically and mentally healthy student-athletes are in a good position to thrive academically, socially, and athletically… Expand
  • table 1
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
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
2009
2009
Large-Scale Wind Integration Studies in the United States: Preliminary Results
This paper discusses key results that had emerged at the time from two studies, the Western Wind and Solar Integration Study… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
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
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
2005
2005
Interfacing with Honeysuckle by Formal Contract
A foreign-function interface generator for occam-pi p. 235 Interfacing C and occam-pi p. 249 Interactive computing with the… Expand
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
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
2002
2002
Cluster Computing and JCSP Networking
Hoare's algebra of Communicating Sequential Processes (CSP) enables a view of systems as layered networks of concurrent… Expand
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