Reactive Systems

Modelling, Specification and Verification

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

Write A Review

Hardcover | 9 August 2007

At a Glance

Hardcover
302 Pages

Dimensions(cm)
25.6 x 18.3 x 2.2

Hardcover

RRP $167.95

$149.75

11%OFF

or 4 interest-free payments of $37.44 with

Ships in 5 to 7 business days

Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that 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 notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Reference, Information & Interdisciplinary Subjects Research & Information Information theory Cybernetics & Systems Theory Programming & Scripting Languages Computer Science Mathematical Theory of Computation

Preface
A Classic Theory of Reactive Systems
Introduction
The language CCS
Behavioural equivalences
Theory of fixed points and bisimulation equivalence
Hennessy-Milner logic
Hennessy-Milner logic with recursive definitions
Modelling and analysis of mutual exclusion algorithms
A Theory of Real-Time Systems
Introduction
CCS with time delays
Timed automata
Timed behavioural equivalences
Hennessy-Milner logic with time
Modelling and analysis of Fischer's algorithm
Appendix
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Reactive Systems

Modelling, Specification and Verification

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Data-driven Decision Making and Soft Computing

Applications and Advances

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

The Essence of Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Git : Pocket Guide

A Working Introduction

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Site Reliability Engineering

How Google Runs Production Systems

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Arduino for Dummies

Blackwell Philosophy Anthologies

Coding All-in-One For Dummies

2nd Edition

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Building Generative AI Services with Fastapi

A Practical Approach to Developing Context-Rich Generative AI Applications

User Story Mapping

Discover the Whote Story, Build the Right Product

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Robert C. Martin

A Craftsman's Guide to Software Structure and Design

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Learning Modern C++ for Finance

Foundations for Quantitative Programming

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

C# 12 in a Nutshell

The Definitive Reference

Typescript Cookbook

Real World Type-Level Programming

This product is categorised by