|
|
libcats.org
CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005Martín Abadi, Luca de AlfaroThis book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.
Скачать книгу бесплатно (pdf, 4.84 Mb)
Читать «CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Méthode axiomatique et formalisme: Essai sur le problème du fondement des mathématiquesАвтор: Cavaille
Размер книги: 4.55 Mb
Mudavanhu B., O#Malley R.E. Two-timing, averaging and renormalization methods for long time intervals (web draft, 2002)(38s).pdfАвтор:
Размер книги: 446 Kb
Hodge Theory and Complex Algebraic Geometry I: Volume 1 (Cambridge Studies in Advanced Mathematics)Автор: Claire Voisin
Размер книги: 3.00 Mb
Биоэлементы в медицинеАвтор: Скальный А.В., Автор: Рудаков И.А.Категория: ЗДОРОВЬЕ, НАУКА и УЧЕБА
Размер книги: 17.17 Mb
Теория мягких множествАвтор: Молодцов Д.А.Категория: M_Mathematics, MOc_Optimization and control
Размер книги: 4.36 Mb
|
|
|