| 000 | 01079cam a22002054a 4500 | ||
|---|---|---|---|
| 005 | 20250605164119.0 | ||
| 008 | 250528s ||||||||||||||||||||||||d | ||
| 035 | _a18191 | ||
| 020 | _a131150073 | ||
| 040 |
_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2 |
||
| 245 | 1 | _aCommunication and Concurrency | |
| 250 | _a1st | ||
| 260 |
_bPrentice Hall, _c1989 |
||
| 300 | _a260 | ||
| 520 | _aThe 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. | ||
| 700 | 1 |
_aMiller Robin _93541 |
|
| 942 | _cBK | ||
| 999 |
_c3569 _d3569 |
||