JCSP

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

Topic mentions per year

Topic mentions per year

1998-2016
0246819982016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The construction of large scale parallel and concurrent applications is one of the greatest challenges faced by software… (More)
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2010
2010
Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived concurrency primitives in Java… (More)
Is this relevant?
2009
2009
The house, office or warehouse environment is full of devices that make users’ life and work easier. People nowadays use personal… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2008
2008
We present a critical investigation of the current implementation of JCSP Networking, examining in detail the structure and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances… (More)
Is this relevant?
2005
2005
We describe the first proof system for concurrent programs based on Communicating Sequential Processes for Java (JCSP). The… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 7
  • table 1
Is this relevant?
2005
2005
This paper presents a novel technique for safe partial or complete process network termination. The idea is to have two types of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the… (More)
  • figure 1
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2002
2002
Hoare’s algebra of Communicating Sequential Processes (CSP) enables a view of systems as layered networks of concurrent… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
Java provides support for concurrent and parallel programming through threads, monitors and its socket and Remote Method… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • table 1
Is this relevant?