Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Idealized CSP

You are here: irt.org | FOLDOC | Idealized CSP

<language> A programming language combining simply typed, call-by-name procedures with asynchronous communicating processes, assuming fair parallel execution. Idealized CSP generalises Anthony Hoare's original CSP and Kahn's networks of deterministic processes, and is closely related to Parallel Algol by Stephen Brookes of CMU.

Procedures permit the encapsulation of common protocols and parallel programming idioms. Local variables and local channel declarations provide a way to delimit the scope of interference between parallel agents, and allow a form of concurrent object-oriented programming.

[Was this language also designed by Brookes?]


Nearby terms: IDEA « IDEAL « ideal « Idealized CSP » Idealized Instruction Set » IDEF » IDEF0

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb