Action refinement

Roberto Gorrieri; Arend Rensink

doi:10.1016/B978-044482830-9/50034-5

Action refinement

Roberto Gorrieri^*, Arend Rensink

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

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.

Original language	English
Title of host publication	Handbook of Process Algebra
Editors	J.A. Bergstra, A. Ponse, S.A. Smolka
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	1047-1147
Number of pages	92
ISBN (Print)	978-0-444-82830-9
DOIs	https://doi.org/10.1016/B978-044482830-9/50034-5
Publication status	Published - 2001

Access to Document

10.1016/B978-044482830-9/50034-5

Cite this

@inbook{dce58a5421d04a458608d0e9820ad608,

title = "Action refinement",

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.",

author = "Roberto Gorrieri and Arend Rensink",

year = "2001",

doi = "10.1016/B978-044482830-9/50034-5",

language = "English",

isbn = "978-0-444-82830-9",

pages = "1047--1147",

editor = "J.A. Bergstra and A. Ponse and S.A. Smolka",

booktitle = "Handbook of Process Algebra",

publisher = "Elsevier",

}

TY - CHAP

T1 - Action refinement

AU - Gorrieri, Roberto

AU - Rensink, Arend

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

U2 - 10.1016/B978-044482830-9/50034-5

DO - 10.1016/B978-044482830-9/50034-5

M3 - Chapter

SN - 978-0-444-82830-9

SP - 1047

EP - 1147

BT - Handbook of Process Algebra

A2 - Bergstra, J.A.

A2 - Ponse, A.

A2 - Smolka, S.A.

PB - Elsevier

CY - Amsterdam

ER -