EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

8328 Action Refinement

Home Policy Brochure Browse Search User Area Contact Help

Gorrieri, R. and Rensink, A. (2001) Action Refinement. In: Handbook of Process Algebra. Elsevier, Amsterdam, pp. 1047-1146. ISBN 978-0-444-82830-9

Full text available as:

PDF (preprint)

- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
788 Kb

Official URL: http://www.elsevier.com/wps/find/bookdescription.cws_home/621352/description#description

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
Research Group:	EWI-SE: Software Engineering
ID Code:	8328
Status:	Published
Deposited On:	06 January 2007
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item