Work

Seminar: safe concurrent programming in Java with CSP

Year: 1999

Type: conference-paper

Abstract: We present methods for safe and correct programming for concurrent threads in Java. The methods are based on the principles of Concurrent Sequential Processes (CSP). We demonstrate the use of tools which provide the structure of CSP within Java to avoid some of the pitfalls of multithreaded programming using monitors, the primitive synchronization tool in Java. Several examples illustrate the use of these tools.

Source: ACM Technical Symposium on Computer Science Education (SIGCSE)

DOI: 10.1145/299649.299817

Author: Christopher H. Nevison

Institution: Colgate University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2002823636

FWCI: 0.391

Cites: 5

Cited by: 3

Related to: 10