Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,023,855 papers from all fields of science
Search
Sign In
Create Free Account
JCSP
JCSP is an implementation of Communicating Sequential Processes (CSP) for the Java programming language. Although CSP is a mathematical system, JCSP…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Actor model
Communicating sequential processes
Deadlock
Groovy
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.
J. V. Raalte
,
Staci R. Andrews
,
A. Cornelius
,
N. Diehl
,
B. Brewer
2015
Corpus ID: 74368529
Physically and mentally healthy student-athletes are in a good position to thrive academically, socially, and athletically…
Expand
2013
2013
Modelo de proceso de conceptualización de requisitos
A. Hossian
2013
Corpus ID: 170640956
El proceso de captura de requisitos constituye un proceso con connotaciones sociales relacionadas con diferentes personas…
Expand
2010
2010
What determines credit participation and credit constraints of the poor in peri-urban areas, Vietnam?
Tinh Doan
,
J. Gibson
,
Mark J. Holmes
2010
Corpus ID: 62883232
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
2009
2009
Large-Scale Wind Integration Studies in the United States: Preliminary Results
M. Milligan
,
D. Lew
,
+7 authors
M. Schuerger
2009
Corpus ID: 55563824
This paper discusses key results that had emerged at the time from two studies, the Western Wind and Solar Integration Study…
Expand
2007
2007
Integrating and Extending JCSP
P. Welch
,
Neil Brown
,
James Moores
,
K. Chalmers
,
B. Sputh
Communicating Process Architectures Conference
2007
Corpus ID: 15362170
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances…
Expand
2007
2007
Mobility in JCSP: New Mobile Channel and Mobile Process Models
K. Chalmers
,
J. Kerridge
,
I. Romdhani
Communicating Process Architectures Conference
2007
Corpus ID: 6753446
The original package developed for network mobility in JCSP, although useful, revealed some limitations in the underlying models…
Expand
2006
2006
CSP for .NET Based on JCSP
K. Chalmers
,
Sarah Clayton
Communicating Process Architectures Conference
2006
Corpus ID: 38389710
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
V. Klebanov
,
Philipp Rümmer
,
S. Schlager
,
P. Schmitt
Communicating Process Architectures Conference
2005
Corpus ID: 9244632
We describe the rst proof system for concurrent programs based on Com- municating Sequential Processes for Java (JCSP). The…
Expand
2000
2000
Using Java for Parallel Computing: JCSP versus CTJ, a Comparison
G. H. Hilderink
,
N. Schaller
,
P. Welch
2000
Corpus ID: 16441024
Java provides support for concurrent and parallel programming through threads, monitors and its socket and Remote Method…
Expand
2000
2000
Communicating Process Architectures 2012
P. Welch
,
F. Barnes
,
K. Chalmers
2000
Corpus ID: 2986321
CPA 2012 is one of an annual series of conferences organized over almost thirty years concerned with the design of parallel…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE