Return to search

Action refinement in process algebras /

Thesis (Ph. D.)--University of Sussex, 1990. / Includes bibliographical references (p. 265-271) and index.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/27812482
Date January 1992
CreatorsAceto, Luca.
PublisherCambridge ; New York, NY, USA : Cambridge University Press,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0018 seconds