Finite transition systems
Subtitle: semantics of communicating systems
By: André Arnold ; translated by John Plaice.
Series: Prentice Hall international series in computer science
Publisher: Masson; Prentice Hall
Published: 1994
Place of publication: Paris; Englewood Cliffs, NJ
Language: eng
Number of pages: 177
Subjects: Sequential machine theory.
Notes: Includes bibliographical references (p. 139-173) and index.