|
|
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
Только что пользователи скачали эти книги:
Коммерческое предложение на разработку сайта для ООО АлдесАвтор: Мокина ЕкатеринаКатегория: Офисные программы бизнес-приложения
Размер книги: 179 Kb
Устройства на микросхемах. Цифровые измерительные приборы. Источники питания. Любительские конструкцииАвтор: С. Бирюков
Размер книги: 4.99 Mb
Number Theory Arising From Finite Fields: Analytic And Probabilistic Theory (Lecture Notes in Pure and Applied Mathematics)Автор: John Knopfmacher, Автор: Wen-Bin Zhang
Размер книги: 3.73 Mb
Infinity's Rainbow: The Politics of Energy, Climate, and GlobalizationАвтор: Michael P. Byron
Размер книги: 2.81 Mb
Emerging Applications of Algebraic Geometry (The IMA Volumes in Mathematics and its Applications)Автор: Mihai Putinar, Автор: Seth Sullivant
Размер книги: 20.71 Mb
Adaptive Control SystemsАвтор: Gang Feng Rogelio LozanoКатегория: Математика, Теория автоматического управления
Размер книги: 2.33 Mb
The Coutumes de Beauvaisis of Philippe de BeaumanoirАвтор: Philippe de Remi Beaumanoir (sire de)
Размер книги: 1.42 Mb
|
|
|