libcats.org
Главная

CONCUR 2004 - Concurrency Theory, 15 conf

Обложка книги CONCUR 2004 - Concurrency Theory, 15 conf

CONCUR 2004 - Concurrency Theory, 15 conf

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004.

The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Пропащий

Автор:
Категория: Триллер
Размер книги: 606 Kb

Advanced Financial Statements Analysis

Автор:
Категория: econ
Размер книги: 775 Kb

Inequalities from complex analysis

Автор:
Размер книги: 2.48 Mb

The Mathematics of Poker

Автор: , Автор:
Размер книги: 179.27 Mb