Reactive Systems : Modelling, Specification and Verification - No Information Available

Instant online reading.
Don't wait for delivery!
Go digital and save!

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 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 $79.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

Code

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Site Reliability Engineering

How Google Runs Production Systems

Fundamentals of Software Architecture

A Modern Engineering Approach

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Architecture Patterns with Python

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

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Hacking For Dummies

For Dummies (Computer/Tech)

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

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

The Engineering Leader

Strategies for Scaling Teams and Yourself

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Hacker's Delight

User Story Mapping

Discover the Whote Story, Build the Right Product

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

This product is categorised by