Finite transition systems : semantics of communicating systems

Bibliographic Details
Main Author: Arnold, A. [ (Andre)] , 1945- (Author)
Format: Book
Published: Hemel Hempstead : Paris : Prentice Hall ; Masson , c1994
Series:Prentice Hall International series in computer science
Subjects:

Similar Items