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

pi-calculus

You are here: irt.org | FOLDOC | pi-calculus

<theory> A process algebra in which channel names can act both as transmission medium and as transmitted data. Its basic atomic actions are individual point to point communications which are nondeterministically selected and globally sequentialised.

[Details? Examples?]

(1995-03-20)

Nearby terms: PI « pi « PIC « pi-calculus » Pick BASIC » PICL » PICNIC

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