Action refinement in process algebras
By: Luca Aceto.
Series: Distinguished dissertations in computer science
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge; New York, NY, USA
Language: eng
Number of pages: 273
Subjects: Parallel processing (Electronic computers); Programming languages (Electronic computers) -- Semantics.
Notes: Includes bibliographical references (p. 265-271) and index.
Thesis (Ph. D.)--University of Sussex, 1990.