Action Refinement in Process Algebras - Rilegato

Aceto, Luca

Rilegato

ISBN 10: 0521431115 ISBN 13: 9780521431118

Casa editrice: Cambridge University Press, 1992

Riassunto

This book contains some important new developments in the understanding of concurrent processes and as such will be of value to all computer scientists researching into the theory of parallel computation.

Su questo libro

Recensione

"an indepth theoretical study of both action refinement and the relationship of interleaving semantics to true concurrency. The goal of this work is to develop a semantic equivalence in the process algebra setting that does not equate parallelism and sequential nondeterminism, use the semantics developed to give semantics to a process algebra with a refinement operator, and finally to provide a means of relating parallelism and sequential nondeterminism without equating them. In all three aspects, the author has succeeded admirably. For those interested in process refinement, true concurrency, and interleaving, and possessing a knowledge of process algebras it is both a good introduction and reference." Amy Zwarico, SIGACT News

"...displays both a high degree of technical competence and a nice flowing writing style. Paul Cull, Computing Reviews

"...contains some important developments in the understanding of concurrent processes and it is warmly recommended to researchers in the theory of parallel computation." Andrea Maggiolo-Schettini, Mathematical Reviews

Descrizione del libro

In this award-winning thesis Dr Aceto extends the notion of action refinement to the setting of process description languages. This book contains some important new developments in the understanding of concurrent processes and as such will be of value to all computer scientists researching into the theory of parallel computation.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1992
• Lingua: Inglese
• ISBN 10: 0521431115
• ISBN 13: 9780521431118
• Rilegatura: Copertina rigida
• Numero di pagine: 283
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia