Action refinement in process algebras

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