libcats.org
Главная

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Обложка книги Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

,

The 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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Джойс Данвилл. Три принца

Автор:
Размер книги: 262 Kb

Web Mobile-Based Applications for Healthcare Management

Автор:
Размер книги: 11.29 Mb

The world as i see it

Автор:
Категория: физика
Размер книги: 186 Kb

Thinking in Java. Annotated Solution Guide eng

Автор:
Размер книги: 176 Kb

Непутевый, Бестолковый

Автор:
Размер книги: 1 Kb

A Complicated Kindness

Автор:
Категория: fiction
Размер книги: 562 Kb

Der Struwwelpeter

Автор:
Категория: fiction
Размер книги: 442 Kb