-
communication protocols and
distributed systems. CADP is
developed by the
CONVECS team (formerly by the VASY team) at
INRIA Rhone-Alpes and
connected to...
-
Manual of the LNT to
LOTOS Translator.
Technical Report INRIA Rhône-Alpes/
CONVECS, 2015, 125 pages.
Available from http://cadp.inria...
- IV
Discussion and
Conclusions http://physics.nyu.edu/jz11/publications/
ConvecA.pdf Lithgow-Bertelloni, Carolina; Silver, Paul G. (1998). "Dynamic topography...
-
pages 99-140. INRIA, Rocquencourt, France, 1981. E.g., by the VASY and
CONVECS teams at INRIA, in
particular for the
development of CADP and Traian. E...
-
International Sdn. Bhd. (DCI)
Tengku Khairil Azwan bin
Tengku Abdul Samad 8 SACC
Convec Sdn. Bhd. Nor
Azlina binti Amran 9
Selangor Industrial Corporation Sdn....
- Heister;
others (2017-04-12). "ASPECT:
Advanced Solver for
Problems in Earth's
ConvecTion, User Manual". Figshare. doi:10.6084/m9.figshare.4865333. Kronbichler...
