Finite transition systems : semantics of communicating systems / André Arnold ; translation by John Plaice.

Author/creator Arnold, A., 1945-
Format Book
Publication InfoParis : Masson ; [Englewood Cliffs] N.J. : Prentice Hall, ©1994.
Descriptionvii, 177 pages : illustrations ; 25 cm.
Subjects

Uniform titleSystèmes de transitions finit et sémantique des processus communicants. English
SeriesPrentice Hall international series in computer science
Prentice-Hall international series in computer science. ^A117347
Bibliography noteIncludes bibliographical references (p. 169-173) and index.
LCCN 93040895
ISBN0130929905

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA267.5 .A7613 1994 ✔ Available Place Hold