Action Refinement

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

PDF
Restricted to UT campus only
787Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/63723
Official URL:	http://www.elsevier.com/wps/find/bookdescription.cws_home/621352/description#description
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Repository Staff Only: item control page