Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  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 


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)


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017