Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings /
Khomenko, Victor.
Madalinski, A.
Yakovlev, Alex.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2004.
Title from cover.
Includes bibliographical references.