Skip to search formSkip to main contentSkip to account menu

JCSP

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

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… 
2013
2013
El proceso de captura de requisitos constituye un proceso con connotaciones sociales relacionadas con diferentes personas… 
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… 
2009
2009
This paper discusses key results that had emerged at the time from two studies, the Western Wind and Solar Integration Study… 
2007
2007
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances… 
2007
2007
The original package developed for network mobility in JCSP, although useful, revealed some limitations in the underlying models… 
2006
2006
We present a CSP framework developed for the .NET platform, building upon the ideas developed for the JCSP library. Discussing… 
2005
2005
We describe the rst proof system for concurrent programs based on Com- municating Sequential Processes for Java (JCSP). The… 
2000
2000
Java provides support for concurrent and parallel programming through threads, monitors and its socket and Remote Method… 
2000
2000
CPA 2012 is one of an annual series of conferences organized over almost thirty years concerned with the design of parallel…