Finite transition systems : semantics of communicating systems /

Bibliographic Details
Main Author: Arnold, André, 1945-
Format: Book
Language:English
Published: Hemel-Hempstead : Prentice-Hall, 1994.
Series:Prentice-Hall international series in computer science
Subjects: