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
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name6th International Conference on Application of Concurrency to System Design (ACSD 2006)
Conference LocationTurku, Finland
Year of Conference2006
Date28-30 June 2006
Volume
Pages57-68
15504808
ISBN9780769525563
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherIEEE
URLhttp://dx.doi.org/10.1109/ACSD.2006.21
DOI10.1109/ACSD.2006.21
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item