Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
You are here
| Title | Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Hamilton G, Jones N.D. |
| Journal | Perspectives of Systems Informatics, Lecture Notes in Computer Science |
| Volume | 7162 |
| Date Published | 2012 |
| URL | http://ulir.ul.ie/handle/10344/2375 |
