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.
2015
2015
Physically and mentally healthy student-athletes are in a good position to thrive academically, socially, and athletically… Expand
  • table 1
2010
2010
Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived concurrency primitives in Java… Expand
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
2009
2009
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
We present a CSP framework developed for the .NET platform, building upon the ideas developed for the JCSP library. Discussing… Expand
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
2005
2005
A foreign-function interface generator for occam-pi p. 235 Interfacing C and occam-pi p. 249 Interactive computing with the… Expand
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
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
2002
2002
Hoare's algebra of Communicating Sequential Processes (CSP) enables a view of systems as layered networks of concurrent… Expand