Action refinement in process algebras /

Bibliographic Details
Main Author:	Aceto, Luca
Format:	Thesis Book
Language:	English
Published:	Cambridge ; New York, NY, USA : Cambridge University Press, 1992.
Series:	Distinguished dissertations in computer science.
Subjects:	Parallel processing (Electronic computers) Programming languages (Electronic computers) > Semantics.

Description
Physical Description:	viii, 273 pages : illustrations ; 26 cm.
Bibliography:	Includes bibliographical references (pages 265-271) and index.
ISBN:	0521431115