Reactive Systems:Modelling, Specification and Verification
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...
Main Authors: | , , , |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge University Press
2007
|
Subjects: | |
Online Access: | https://vbn.aau.dk/da/publications/bc659b00-a249-11dc-8188-000ea68e967b |
id |
ftalborgunivpubl:oai:pure.atira.dk:publications/bc659b00-a249-11dc-8188-000ea68e967b |
---|---|
record_format |
openpolar |
spelling |
ftalborgunivpubl:oai:pure.atira.dk:publications/bc659b00-a249-11dc-8188-000ea68e967b 2024-09-15T18:13:59+00:00 Reactive Systems:Modelling, Specification and Verification Aceto, Luca Ingolfsdottir, Anna Larsen, Kim Guldstrand Srba, Jiri 2007 https://vbn.aau.dk/da/publications/bc659b00-a249-11dc-8188-000ea68e967b eng eng Cambridge University Press https://vbn.aau.dk/da/publications/bc659b00-a249-11dc-8188-000ea68e967b urn:ISBN:9780521875462 info:eu-repo/semantics/restrictedAccess Aceto , L , Ingolfsdottir , A , Larsen , K G & Srba , J 2007 , Reactive Systems : Modelling, Specification and Verification . Cambridge University Press , Cambridge . process algebra reactive systems bisimulation real-time systems temporal logic book 2007 ftalborgunivpubl 2024-07-10T12:29:56Z 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. Book Iceland Aalborg University's Research Portal |
institution |
Open Polar |
collection |
Aalborg University's Research Portal |
op_collection_id |
ftalborgunivpubl |
language |
English |
topic |
process algebra reactive systems bisimulation real-time systems temporal logic |
spellingShingle |
process algebra reactive systems bisimulation real-time systems temporal logic Aceto, Luca Ingolfsdottir, Anna Larsen, Kim Guldstrand Srba, Jiri Reactive Systems:Modelling, Specification and Verification |
topic_facet |
process algebra reactive systems bisimulation real-time systems temporal logic |
description |
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. |
format |
Book |
author |
Aceto, Luca Ingolfsdottir, Anna Larsen, Kim Guldstrand Srba, Jiri |
author_facet |
Aceto, Luca Ingolfsdottir, Anna Larsen, Kim Guldstrand Srba, Jiri |
author_sort |
Aceto, Luca |
title |
Reactive Systems:Modelling, Specification and Verification |
title_short |
Reactive Systems:Modelling, Specification and Verification |
title_full |
Reactive Systems:Modelling, Specification and Verification |
title_fullStr |
Reactive Systems:Modelling, Specification and Verification |
title_full_unstemmed |
Reactive Systems:Modelling, Specification and Verification |
title_sort |
reactive systems:modelling, specification and verification |
publisher |
Cambridge University Press |
publishDate |
2007 |
url |
https://vbn.aau.dk/da/publications/bc659b00-a249-11dc-8188-000ea68e967b |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Aceto , L , Ingolfsdottir , A , Larsen , K G & Srba , J 2007 , Reactive Systems : Modelling, Specification and Verification . Cambridge University Press , Cambridge . |
op_relation |
https://vbn.aau.dk/da/publications/bc659b00-a249-11dc-8188-000ea68e967b urn:ISBN:9780521875462 |
op_rights |
info:eu-repo/semantics/restrictedAccess |
_version_ |
1810451762589466624 |