In this chapter, we give a comprehensive overview of the research results in the field of action refinement during the past 12 years. The different approaches that have been followed are outlined in detail and contrasted to each other in a uniform framework. We use two running examples to discuss their effects, benefits and disadvantages. The chapter contains results only; appropriate references are given to the original papers containing the proofs.
|Title of host publication||Handbook of Process Algebra|
|Editors||J.A. Bergstra, A. Ponse, S.A. Smolka|
|Place of Publication||Amsterdam|
|Number of pages||92|
|Publication status||Published - 2001|