VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
(CIRCAL) A
process algebra
used to model and verify the
design correctness of
concurrent
systems such as
digitallogic
.
["CIRCAL and the Representation of Communication, Concurrency
and Time", G.J. Milne
[email protected]
, ACM TOPLAS
7(2):270-298, 1985].
(2001-03-25)