Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
Computing (FOLDOC)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
Computing (FOLDOC) dictionary
pi-calculus
Jump to user comments
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
nondeterministic
ally selected and
globally sequentialised.
[Details? Examples?]
(1995-03-20)
Related search result for
"pi-calculus"
Words contain
"pi-calculus"
in its definition in
Computing (FOLDOC) dictionary:
relational calculus
domain calculus
tuple calculus
lambda-calculus
typed lambda-calculus
polymorphic lambda-calculus
Second-Order Lambda-calculus
lambda expression
Lambada-Calculus
pure lambda-calculus
more...
Comments and discussion on the word
"pi-calculus"