Action Refinement


Gorrieri, R. and Rensink, A. (2001) Action Refinement. In: J.A. Bergstra & A. Ponse & S.A. Smolka (Eds.), Handbook of Process Algebra. Elsevier, Amsterdam, pp. 1047-1146. ISBN 9780444828309

[img] PDF
Restricted to UT campus only

Abstract: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.
Item Type:Book Section
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page