Communicating sequential processes

Known as: CSP

In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

As a programming model, MapReduce is popularly and widely used in processing and generating large cluster of data sets…

1999

As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type…

1999

Software synthesis for system level design languages becomes feasible because the current technology, pricing and application…

1994

We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…

1990

Generating an efficient program for a parallel computer requires that the distribution of the processes on the processors…

1988

Ultrastructural aspects of the formation of siliceous scales by the protozoon Raphidiophrys ambigua are described. Cells in…

1987

Formalisms based on Hoare's Communicating Sequential Processes (CSP) and Milner's Calculus of Communicating Systems (CCS) for…

1986

COSY is an abstract programming notation ‘between’ Petri nets and concurrent programs. It allows to analyse the interrelationship…

1982

This paper describes a new model for dynamic distributed systems, where new processes are added and terminated at execution time…

1980

This thesis presents proof rules for an extension of Hoare's Communicating Sequential Processes (CSP). CSP is a notation for…