0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Algebra

Not currently available

Action Refinement in Process Algebras (Hardcover) Loot Price: R1,486
Discovery Miles 14 860
Action Refinement in Process Algebras (Hardcover): L. Aceto

Action Refinement in Process Algebras (Hardcover)

L. Aceto

Series: Distinguished Dissertations in Computer Science S.

 (sign in to rate)
Loot Price R1,486 Discovery Miles 14 860 | Repayment Terms: R138 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

A recent trend in the study of the semantics of concurrent systems has been to consider the effect of replacing an action by a whole process. Such a replacement, known as action refinement has been investigated as a formal basis for the step-wise development of concurrent systems. This award-winning thesis studies the notion of action refinement in the setting of process description languages, together with behavioural equivalences for them and their associated proof systems.

General

Imprint: Cambridge University Press
Country of origin: United Kingdom
Series: Distinguished Dissertations in Computer Science S.
Release date: August 1992
Authors: L. Aceto
Dimensions: 255 x 179mm (L x W)
Format: Hardcover
Pages: 283
ISBN-13: 978-0-521-43111-8
Categories: Books > Science & Mathematics > Mathematics
Books > Computing & IT > General theory of computing
Books > Science & Mathematics > Mathematics > Algebra
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Algebra > General
LSN: 0-521-43111-5
Barcode: 9780521431118

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners