Communication and Concurrency

Contributor(s):

Miller Robin

Material type:

TextPublication details: Prentice Hall, 1989Edition: 1stDescription: 260ISBN:

131150073

Summary: The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation. Foreword, Preface, Glossary, Modelling Communication, Basic Definitions, Equational Laws and Their Application, Strong Bisimulation and Strong Equivalence, Bisimulation and Observation Equivalence, Further Examples, The Theory of Observation Congruence, Defining a Programming Language, Operators and Calculi, Specifications and Logic, Determinacy and Confluence, Sources and Related Work, Bibliography, Index.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Barcode
Books	MC Athens Campus Library	511.3 MIL (Browse shelf(Opens below))	1	Available	9780000035684

The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation. Foreword, Preface, Glossary, Modelling Communication, Basic Definitions, Equational Laws and Their Application, Strong Bisimulation and Strong Equivalence, Bisimulation and Observation Equivalence, Further Examples, The Theory of Observation Congruence, Defining a Programming Language, Operators and Calculi, Specifications and Logic, Determinacy and Confluence, Sources and Related Work, Bibliography, Index.

There are no comments on this title.

to post a comment.

Κατάλογος Βιβλιοθηκών Mediterranean College

Communication and Concurrency