|
|
libcats.org
Главная →
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent SystemsConcurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent SystemsHoward Bowman, Rodolfo GomezThe book presents an extensive introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The notation is illustrated by a number of running examples and by using the LOTOS process calculus a spectrum of semantic models for concurrent systems are reviewed. Specifically, linear-time semantics; based on traces; branching-time semantics; using both labelled transition systems and refusals, are used to highlight true concurrency semantics using event structures. In addition to this a simple timed extension to LOTOS is introduced using running examples, allowing consideration of how the untimed semantic models – traces, labelled transition systems, refusals and event structures – can be generalised to the timed setting. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising.
Скачать книгу бесплатно (pdf, 1.65 Mb)
Читать «Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Электрооборудование автомобилей: Учебно-лабораторный комплексАвтор: Ашанин В.Н., Автор: Герасимов А.И., Автор: Горячев В.Я., Автор: Малеев Р.А.Категория: Электротехника
Размер книги: 6.40 Mb
Rehabilitation in der Orthopädischen Chirurgie: OP-Verfahren im Überblick - Physiotherapie - SporttherapieАвтор: Andreas B. Imhoff, Автор: Knut Beitzel, Автор: Knut Stamer, Автор: Elke Klein
Размер книги: 11.63 Mb
Glencoe Literature: Reading With Purpose, Course 1Автор: Jeffrey D. Wilhelm, Автор: Douglas Fisher, Автор: Kathleen Hinchman, Автор: Taffy Raphael, Автор: David O'Brien, Автор: Cynthia Hy
Размер книги: 59.65 Mb
X-Ray Diffraction by Macromolecules (Springer Series in Chemical Physics)Автор: N. Kasai, Автор: M. Kakudo
Размер книги: 38.23 Mb
Nanopores: Sensing and Fundamental Biological InteractionsАвтор: Samir M. Iqbal, Автор: Rashid Bashir
Размер книги: 9.06 Mb
|
|
|