Back to University of Twente portal
Action Contraction
Rensink, A. (2000) Action Contraction. In: Concurrency Theory (CONCUR), Aug 2000, State College, USA.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 208Kb |
| Abstract: | The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basically: “When no observer can see the difference.” This is worked out in detail by defining a notion of coupled split/atomic simulation refinement between systems which differ in the atomicity of their actions, and proving that this collapses to Parrow and Sjödin’s coupled similarity when the systems are composed with an observer. |
| Item Type: | Conference or Workshop Item |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66679 |
| Official URL: | http://link.springer.de/link/service/series/0558/bibs/1877/18770290.htm |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page