Action refinement in process algebras

Bibliographic Details
Main Author: Aceto, Luca (Author)
Format: Book
Language:English
Published: New York Cambridge University Press c1992
Series:Distinguished Dissertations in Computer Science
Subjects:
Description
Item Description:βιβλιογραφία: σσ. 265-271 περιέχει ευρετήριο
Physical Description:viii, 273p. fig.
ISBN:0 521 43111 5