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

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

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

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Typescript Cookbook

Real World Type-Level Programming

The Devops Handbook: 2nd Edition

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

The Art of Spyro

Reignited Trilogy

Arduino For Dummies

Blackwell Philosophy Anthologies

Developing Graphics Frameworks with Java and OpenGL

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Architecture Patterns with Python

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

Architectural Approach to Level Design

Second edition

Coding All-in-One For Dummies

2nd Edition

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

User Story Mapping

Discover the Whote Story, Build the Right Product

Lean Enterprise

How High Performance Organizations Innovate at Scale

This product is categorised by