|
|
libcats.org
A Decade of ConcurrencyJ.W.de Bakker, W.-P.de Roever, G. RozenbergThe REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. In total, the volume constitutes a thorough state-of-the-art report of the research activities in concurrency.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
0671578553_17Автор: Weber David - Worlds of Honor 02 - Worlds of Honor (with Linda Evans
Размер книги: 11 Kb
SGA 4 III. Theorie des topos et cohomologie etale des schemasАвтор: M. Artin, Автор: A. Grothendieck, Автор: J. L. Verdier, Автор: P. Deligne, Автор: B. Saint - Donat
Размер книги: 8.49 Mb
Научите себя думать. Самоучитель по развитию мышленияАвтор: Эдвард Де БоноКатегория: Психология, философия
Размер книги: 5.41 Mb
Безопасность Linux - готовые решения - Секреты хакеровАвтор: Брайан Хатч, Автор: Джеймс Ли , Автор: Джордж Курц
Размер книги: 105.42 Mb
Recent Advances in Parallel Virtual Machine and Message Passing InterfaceАвтор: Dieter Kranzlmüller, Автор: Peter Kacsuk, Автор: Jack Dongarra, Автор: Jens Volkert
Размер книги: 8.91 Mb
Methods in Enzymology Vol 131: Enzyme Structure Part LАвтор: Nathan P. Colowick, Автор: Nathan P. Kaplan, Автор: C. H.W. Hirs, Автор: Serge N. Timasheff
Размер книги: 36.00 Mb
|
|
|