Finite transition systems : semantics of communicating systems / André Arnold ; translation by John Plaice.
| Author/creator | Arnold, A., 1945- |
| Format | Book |
| Publication Info | Paris : Masson ; [Englewood Cliffs] N.J. : Prentice Hall, ©1994. |
| Description | vii, 177 pages : illustrations ; 25 cm. |
| Subjects |
| Uniform title | Systèmes de transitions finit et sémantique des processus communicants. English |
| Series | Prentice Hall international series in computer science Prentice-Hall international series in computer science. ^A117347 |
| Bibliography note | Includes bibliographical references (p. 169-173) and index. |
| LCCN | 93040895 |
| ISBN | 0130929905 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA267.5 .A7613 1994 | ✔ Available | Place Hold |