|
|
libcats.org
Logics for Concurrency - Structure versus Automata, 8 confFaron Moller, Graham BirtwistleThis book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail. Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
В час по ГринвичуАвтор: Денисов Валерий ВикторовичКатегория: Русская классическая проза
Размер книги: 247 Kb
Recent Advances in Epilepsy ResearchАвтор: Devin K. Binder, Автор: Helen E. ScharfmanКатегория: MEDICINE
Размер книги: 4.98 Mb
Radiological Risk Assessment and Environmental AnalysisАвтор: John E. Till, Автор: Helen A. Grogan
Размер книги: 4.73 Mb
Advances in Visual Computing: First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, ProceedingsАвтор: George Bebis, Автор: Richard Boyle, Автор: Darko Koracin, Автор: Bahram Parvin
Размер книги: 26.26 Mb
Экономический анализ системы управления качеством жизни: МонографияАвтор: Бетин О.И., Автор: Герасимов Б.И., Автор: Дробышева В.В., Автор: Федорова Л.И., Автор: Худеева В.В.Категория: Экономика и социальная политика
Размер книги: 1.22 Mb
Microsoft Corporation Разработка инфраструктуры сетевых служб Microsoft Windows 2000. Учебный курс MCSE.pdfАвтор:
Размер книги: 79.00 Mb
Trade, Globalization and Sustainability Impact Assessment: A Critical Look at Methods and OutcomesАвтор: Paul Ekins, Автор: Tancrede Voituriez
Размер книги: 2.20 Mb
The Politics of the Universe: Edward Beecher, Abolition, and OrthodoxyАвтор: Robert Merideth
Размер книги: 507 Kb
The Heart Sutra Explained: Indian and Tibetan CommentariesАвтор: Donald S. Lopez
Размер книги: 5.39 Mb
|
|
|