Reactive Systems

Modelling, Specification and Verification

By: No Information Available

Write A Review

Hardcover | 9 August 2007

At a Glance

Hardcover
302 Pages

Dimensions(cm)
24.41 x 16.99 x 1.75

Hardcover

RRP $167.95

$149.75

11%OFF

or 4 interest-free payments of $37.44 with

Ships in 15 to 25 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

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

Code

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

The Essence of Software Engineering

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Refactoring 2ed

Improving the Design of Existing Code

C++ Programming Language (hardcover), The

Design Patterns

Elements of Reusable Object-Oriented Software

Arduino for Dummies

Blackwell Philosophy Anthologies

Git : Pocket Guide

A Working Introduction

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Coding All-in-One For Dummies

2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

Developing Graphics Frameworks with Java and OpenGL

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Learning Algorithms

A Programmer's Guide to Writing Better Code

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Engineering Leader

Strategies for Scaling Teams and Yourself

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

Learning Modern C++ for Finance

Foundations for Quantitative Programming

C# 12 in a Nutshell

The Definitive Reference

This product is categorised by