Skip to content

Your Cart


You have 0 items in your cart.

Register Sign in Wishlist
Action Refinement in Process Algebras

Action Refinement in Process Algebras

Out of Print

Part of Distinguished Dissertations in Computer Science

  • Author: Luca Aceto, Hewlett-Packard Laboratories, Palo Alto, California
  • Date Published: August 1992
  • availability: Unavailable - out of print March 2007
  • format: Hardback
  • isbn: 9780521431118

Out of Print

Unavailable - out of print March 2007
Unavailable Add to wishlist

Looking for an examination copy?

If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact providing details of the course you are teaching.

Product filter button
About the Authors
  • Dr. Aceto studies the notion of action refinement in the setting of process description languages, together with behavioral equivalences for them and their associated proof systems. The presentation is organized into three parts. In the first, a semantic theory of processes based on atomic actions is used to give results that serve as a stepping stone toward the more complex theories needed to support action refinement. The core of the book then develops suitable notions of process equivalence for increasingly complex languages with operators for action refinement. This approach is used to highlight the difficulties introduced by synchronization among actions and scoping operators. 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. A preliminary semantic theory for concurrent systems that relates concurrency and nondeterminism without reducing the former to the latter is also studied in some detail.

    • Award-winning thesis - some of the best work of the year in theoretical computer science
    • Parallel computation is one of the largest growth areas in computer science
    Read more

    Reviews & endorsements

    "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

    See more reviews

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity


    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?


    Product details

    • Date Published: August 1992
    • format: Hardback
    • isbn: 9780521431118
    • length: 283 pages
    • dimensions: 255 x 179 x 18 mm
    • weight: 0.682kg
    • availability: Unavailable - out of print March 2007
  • Table of Contents

    1. Introduction
    2. A semantic theory based on atomic actions
    3. Action refinement for a simple language
    4. Action refinement for communicating processes
    5. Full abstraction for series-parallel pomsets
    6. On relating concurrency and nondeterminism
    7. Conclusions

  • Author

    Luca Aceto, Hewlett-Packard Laboratories, Palo Alto, California

related journals

Sign In

Please sign in to access your account


Not already registered? Create an account now. ×

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×

Find content that relates to you

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.