Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingolfsdottir, Kim Guldstrand Larsen, Jiri Srba

Publikation: Bog/antologi/afhandling/rapportBogUndervisning

Resumé

A reactive system comprises networks of computing components, achieving their goals through interaction among themselves and their environment. Thus even relatively small systems may exhibit unexpectedly complex behaviours. As moreover reactive systems are often used in safety critical systems, the need for mathematically based formal methodology is increasingly important. There are many books that look at particular methodologies for such systems. This book offers a more balanced introduction for graduate students and describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with the notions of behavioural equivalences based on bisimulation techniques and with recursive extensions of Hennessy-Milner logic. In the second part of the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Denmark and Iceland and is designed to give students a broad introduction to the area, with exercises throughout.
OriginalsprogEngelsk
Udgivelses stedCambridge
ForlagCambridge University Press
Antal sider300
ISBN (Trykt)9780521875462
StatusUdgivet - 2007

Citer dette

Aceto, L., Ingolfsdottir, A., Larsen, K. G., & Srba, J. (2007). Reactive Systems: Modelling, Specification and Verification. Cambridge: Cambridge University Press.
Aceto, Luca ; Ingolfsdottir, Anna ; Larsen, Kim Guldstrand ; Srba, Jiri. / Reactive Systems : Modelling, Specification and Verification. Cambridge : Cambridge University Press, 2007. 300 s.
@book{bc659b00a24911dc8188000ea68e967b,
title = "Reactive Systems: Modelling, Specification and Verification",
abstract = "A reactive system comprises networks of computing components, achieving their goals through interaction among themselves and their environment. Thus even relatively small systems may exhibit unexpectedly complex behaviours. As moreover reactive systems are often used in safety critical systems, the need for mathematically based formal methodology is increasingly important. There are many books that look at particular methodologies for such systems. This book offers a more balanced introduction for graduate students and describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with the notions of behavioural equivalences based on bisimulation techniques and with recursive extensions of Hennessy-Milner logic. In the second part of the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Denmark and Iceland and is designed to give students a broad introduction to the area, with exercises throughout.",
keywords = "process algebra, reactive systems, bisimulation, real-time systems, temporal logic",
author = "Luca Aceto and Anna Ingolfsdottir and Larsen, {Kim Guldstrand} and Jiri Srba",
year = "2007",
language = "English",
isbn = "9780521875462",
publisher = "Cambridge University Press",

}

Aceto, L, Ingolfsdottir, A, Larsen, KG & Srba, J 2007, Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge.

Reactive Systems : Modelling, Specification and Verification. / Aceto, Luca; Ingolfsdottir, Anna; Larsen, Kim Guldstrand; Srba, Jiri.

Cambridge : Cambridge University Press, 2007. 300 s.

Publikation: Bog/antologi/afhandling/rapportBogUndervisning

TY - BOOK

T1 - Reactive Systems

T2 - Modelling, Specification and Verification

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

AU - Larsen, Kim Guldstrand

AU - Srba, Jiri

PY - 2007

Y1 - 2007

N2 - A reactive system comprises networks of computing components, achieving their goals through interaction among themselves and their environment. Thus even relatively small systems may exhibit unexpectedly complex behaviours. As moreover reactive systems are often used in safety critical systems, the need for mathematically based formal methodology is increasingly important. There are many books that look at particular methodologies for such systems. This book offers a more balanced introduction for graduate students and describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with the notions of behavioural equivalences based on bisimulation techniques and with recursive extensions of Hennessy-Milner logic. In the second part of the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Denmark and Iceland and is designed to give students a broad introduction to the area, with exercises throughout.

AB - A reactive system comprises networks of computing components, achieving their goals through interaction among themselves and their environment. Thus even relatively small systems may exhibit unexpectedly complex behaviours. As moreover reactive systems are often used in safety critical systems, the need for mathematically based formal methodology is increasingly important. There are many books that look at particular methodologies for such systems. This book offers a more balanced introduction for graduate students and describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with the notions of behavioural equivalences based on bisimulation techniques and with recursive extensions of Hennessy-Milner logic. In the second part of the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Denmark and Iceland and is designed to give students a broad introduction to the area, with exercises throughout.

KW - process algebra

KW - reactive systems

KW - bisimulation

KW - real-time systems

KW - temporal logic

M3 - Book

SN - 9780521875462

BT - Reactive Systems

PB - Cambridge University Press

CY - Cambridge

ER -

Aceto L, Ingolfsdottir A, Larsen KG, Srba J. Reactive Systems: Modelling, Specification and Verification. Cambridge: Cambridge University Press, 2007. 300 s.