Communication and Concurrency / Edition 1

Communication and Concurrency / Edition 1

by Robin Milner, R. Milner
     
 

ISBN-10: 0131150073

ISBN-13: 9780131150072

Pub. Date: 09/06/1995

Publisher: Prentice Hall Professional Technical Reference

This book is a valuable review of the description and verification of concurrent systems. As one of the leading theoretical computer scientists in Britain, Robin Miller has produced an excellent book containing a well- judged mixture of theory and practical applications. Includes information on Modelling Communication, Equational Laws and Their

Overview

This book is a valuable review of the description and verification of concurrent systems. As one of the leading theoretical computer scientists in Britain, Robin Miller has produced an excellent book containing a well- judged mixture of theory and practical applications. Includes information on Modelling Communication, Equational Laws and Their Applications, Strong Bisimulation and Strong Equivalence, and more. This book forms a solid base for academic courses and a valuable reference for practitioners.

Product Details

ISBN-13:
9780131150072
Publisher:
Prentice Hall Professional Technical Reference
Publication date:
09/06/1995
Series:
Prentice Hall International Series in Computer Science
Pages:
272
Product dimensions:
6.04(w) x 9.01(h) x 0.52(d)

Table of Contents


Foreword
Preface ..... 1
Glossary ..... 8
Chapter 1: Modelling Communication ..... 11
Chapter 2: Basic Definitions ..... 36
Chapter 3: Equational Laws and Their Application ..... 60
Chapter 4: Strong Bisimulation and Strong Equivalence ..... 84
Chapter 5: Bisimulation and Observation Equivalence ..... 106
Chapter 6: Further Examples ..... 129
Chapter 7: The Theory of Observation Congruence ..... 150
Chapter 8: Defining a Programming Language ..... 170
Chapter 9: Operators and Calculi ..... 186
Chapter 10: Specifications and Logic ..... 210
Chapter 11: Determinacy and Confluence ..... 231
Chapter 12: Sources and Related Work ..... 247
Bibliography ..... 252
Index ..... 256

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >