|
|
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
Только что пользователи скачали эти книги:
The Ancient Art of Bonsai.By Amboru Kato KimuraАвтор: Mikkel AalandКатегория: 2262180-85 книг по комнатному цветоводству, Бонсай
Размер книги: 9.12 Mb
УжастикиАвтор: Успенский, Автор: УсачевКатегория: Детский уголок, Стихи и сказки
Размер книги: 2.54 Mb
Численные методы алгебры. Теория и алгорифмыАвтор: Валентин Васильевич ВоеводинКатегория: ЕСТЕСТВЕННЫЕ НАУКИ, НАУКА и УЧЕБА
Размер книги: 2.14 Mb
Trader Vic II: Principles of Professional SpeculationАвтор: Sperandeo V.Категория: Экономика и финансы
Размер книги: 3.71 Mb
Теоретические основы информационно-измерительной техникиАвтор: Орнатский П.П.
Размер книги: 3.42 Mb
Language Contact, Creolization, and Genetic LinguisticsАвтор: Sarah G. Thomason, Автор: Terrence Kaufman
Размер книги: 26.73 Mb
Eurasian Regionalism: The Shanghai Cooperation Organisation (Critical Studies of the Asia-Pacific)Автор: Stephen Aris
Размер книги: 2.75 Mb
|
|
|