Action refinement involves the replacing of an action by a whole process in the description of parallel processes. It is one of the methods proposed to support the formal study of the step-wise development of concurrent systems. In this award-winning thesis Dr Aceto extends the notion of action refinement to the setting of process description languages. The presentation is organised into three parts. The first describes a semantic theory of processes. The core of the book then develops suitable notions of process ...
Read More
Action refinement involves the replacing of an action by a whole process in the description of parallel processes. It is one of the methods proposed to support the formal study of the step-wise development of concurrent systems. In this award-winning thesis Dr Aceto extends the notion of action refinement to the setting of process description languages. The presentation is organised into three parts. The first describes a semantic theory of processes. The core of the book then develops suitable notions of process equivalence for increasingly complex languages with operators for action refinement. In the final part, the author deals with the possibility of using action refinement to 'observe' indirectly the causal relationships among actions in a system. 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.
Read Less
Add this copy of Action Refinement in Process Algebras to cart. $54.00, very good condition, Sold by Fox & Hedgehog rated 4.0 out of 5 stars, ships from Moraga, CA, UNITED STATES, published 1992 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good+ in Good jacket. 5M. Sewn binding in paper-covered boards, in dustjacket. Distinguished Dissertations in Computer Science series. A solid copy with firm binding, strong hinges and square spine. No marks. Page-edges clean. Minor cover wear. Unclipped dustjacket however is "Good only, " with significant rubbing wear and scratches, and creasing at the top edge, but no chips or tears. Label on back panel.