Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
- Lookup NU author(s)
- Dr Victor Khomenko
- Agnes Madalinski
- Professor Alex Yakovlev
|
|
|
|
| Author(s) | | Khomenko V, Madalinski A, Yakovlev A |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2004 |
| Date | | September 2004 |
| Report Number | | 858 |
| Pages | | 17 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| A combined framework for the resolution of encoding conflicts in STG unfoldings is presented, which extends previous work by incorporating concurrency reduction in addition to signal insertion. Furthermore, a novel validity condition is proposed to justify these transformations. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| URL | | http://www.cs.ncl.ac.uk/publications/trs/papers/858.pdf |
| Actions | |  |
