Browse by author
Lookup NU author(s): Dr Victor Khomenko
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of non-deterministic STGs with dummies and OR-causality. For this, we introduce the concept of output-determinacy, which is a relaxation of determinism, and argue that it is reasonable and useful in the speed-independent context. With our theory we improve an STG decomposition algorithm, which can alleviate state explosion.
Author(s): Khomenko V, Schaefer M, Vogler W
Editor(s): Basten, T., Juhas, G., Shukla, S.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 7th International Conference on Application of Concurrency to System Design (ACSD 2007)
Year of Conference: 2007
Publisher: IEEE Computer Society
Notes: Selected as one of best papers of ACSD 2007.
Library holdings: Search Newcastle University Library for this item