Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings

  1. Lookup NU author(s)
  2. Dr Victor Khomenko
  3. Agnes Madalinski
  4. Professor Alex Yakovlev
Author(s)Khomenko V, Madalinski A, Yakovlev A
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateSeptember 2004
Report Number858
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication