|
|
libcats.org
Modal logic and process algebra: A bisimulation perspectiveAlban Ponse, Maarten de Rijke, Yde VenemaLabelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Armies of the German Peasants War 1524-1526Автор: Douglas Miller, Автор: Angus McBride
Размер книги: 21.06 Mb
The Myth of Sisyphus: And Other EssaysАвтор: Albert CamusКатегория: Philosophy
Размер книги: 721 Kb
Theorizing Intersectionality and Sexuality (Genders and Sexualities in the Social Sciences)Автор: Yvette Taylor, Автор: Sally Hines, Автор: Mark E. Casey
Размер книги: 2.14 Mb
Amyotrophic Lateral Sclerosis in Veterans: Review of the Scientific LiteratureАвтор: Committee on the Review of the Scientific Literature on Amyotrophic Lateral Sclerosis in Veterans
Размер книги: 694 Kb
Parry and Grant Encyclopaedic Dictionary of International LawАвтор: John P Grant, Автор: J.Craig Barker
Размер книги: 2.45 Mb
|
|
|