Toggle Main Menu Toggle Search

Open Access padlockePrints

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



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.

Publication metadata

Author(s): Khomenko V, Madalinski A, Yakovlev A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 17

Print publication date: 01/09/2004

Source Publication Date: September 2004

Report Number: 858

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne