|
|
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
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Algorithms and data structures in VLSI designАвтор: Meinel C.Категория: Радио
Размер книги: 2.92 Mb
Radiolaria: Siliceous Plankton through TimeАвтор: Jonathan Aitchison, Автор: Peter Baumgartner, Автор: Patrick de Wever, Автор: Sarah-Jane JackettКатегория: science_books, biology_genetics
Размер книги: 32.93 Mb
Electronic Commerce: Current Research Issuses and ApplicationsАвтор: Nabil R. Adam, Автор: Yelena Yesha
Размер книги: 1.27 Mb
Парень из послезавтра (ранняя редакция)Автор: Романовский БорисКатегория: Научная Фантастика
Размер книги: 485 Kb
Osnove Linux programiranjaАвтор: Richard Petersen ; prevod Dijana Ivanišević .
Размер книги: 65.24 Mb
Building Bridges: China's Growing Role As Infrastructure Financier for Africa (Trends and Policy Options)Автор: Vivien Foster, Автор: William Butterfield, Автор: Chuan Chen, Автор: Nataliya Pushak
Размер книги: 1.36 Mb
|
|
|