|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Elementary surveying. An introduction to geomaticsАвтор: Ghilani C.D., Автор: Wolf P.R.Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:
Электрическое освещение школ и дошкольных учрежденийАвтор: Тульчин Иосиф КонстантиновичКатегория: Энергетика
Размер книги: 1.98 Mb
The Active Manager's Tool Kit : 45 Reproducible Tools for Leading and Improving Your Employee's PerformanceАвтор: Mel Silberman
Размер книги: 1.49 Mb
Carolingian Cavalryman AD 768-987Автор: David NicolleКатегория: history_military
Размер книги: 49.32 Mb
The Quest for the Origin of John's Gospel: A Source-Oriented ApproachАвтор: Thomas L. Brodie
Размер книги: 8.63 Mb
Engaging Young People in Civic LifeАвтор: James Youniss, Автор: Peter Levine, Автор: Lee Hamilton
Размер книги: 641 Kb
|
|
|