РАЗДЕЛ:
Computer Scienc.../
Теоретическое программирование/
Модели и методы параллельных и распределенных выч.../
Начало
Выше
Medvidovic N., Taylor R.N. A classification and comparison framework for software architecture description languages
Перейти
LESLIE LAMPORT'S HOME PAGE
Перейти
Calculi for Mobile Processes
Перейти
НОРМА: декларативный язык для спецификации задач вычислительного характера
Перейти
Автономные вычисления и Grid
Перейти
Nemeth Z., Sunderam V. Characterizing Grids: attributes, definitions and formalisms
Перейти
The Rapide Language
Перейти
The CSP archive
Перейти
LOTOS
Перейти
Synchronous Applications, Languages, and Programs
Перейти
Petri Nets World
Перейти
FDR2 User Manual
Перейти
РАЗДЕЛ:
Computer Scienc.../
Теоретическое программирование/
Модели и методы параллельных и распределенных выч.../
