|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Лидия Обухова. Набатное утро. Александр Невский (Историческая повесть) (WinWord)Автор:
Размер книги: 684 Kb
Pattern Formation at Interfaces (CISM International Centre for Mechanical Sciences)Автор: Pierre Colinet, Автор: Alexander Nepomnyashchy
Размер книги: 7.63 Mb
Science Fact and Science Fiction: An EncyclopediaАвтор: Brian StablefordКатегория: P_Physics, PPop_Popular-level
Размер книги: 4.02 Mb
Lectures on Hermitian-Einstein metrics for stable bundles and Kähler-Einstein metrics: delivered at the German Mathematical Society Seminar in Düsseldorf in June, 1986Автор: Yum-Tong Siu, Автор: Deutsche Mathematiker-Vereinigung. Seminar
Размер книги: 9.22 Mb
JUNOS SecurityАвтор: Rob Cameron, Автор: Brad Woodberg, Автор: Timothy Eberhard, Автор: Patricio Giecco, Автор: James Quinn
Размер книги: 7.18 Mb
Death's Little Helpers (No Way Home)Автор: Spiegelman PeterКатегория: fiction
Размер книги: 449 Kb
|
|
|