calculus

n 1: a stone produced by concretion of mineral salts; found in

hollow organs or ducts of the body

2: an incrustation that forms on the teeth and gums [syn: {tartar}]

3: the branch of mathematics that is concerned with limits and

with the differentiation and integration of functions

[syn: {the calculus}, {infinitesimal calculus}]

pi-calculus

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 {nondeterministic}ally selected and

globally sequentialised.

[Details? Examples?]

(1995-03-20)