Lookup NU author(s): Dr Danil Sokolov,
Professor Alex Yakovlev
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
A token-based model for asynchronous data path is formally defined and three token game semantics, spread token, antitoken and counterflow, are introduced. These semantics are studied and their advantages and drawbacks are highlighted. For analysis and comparison a software tool is developed which integrates these models into a consistent framework. The models are verified by mapping them into Petri nets and employing the existing model checking tools. © 2007 IEEE.
Author(s): Sokolov D, Poliakov I, Yakovlev A
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: Institute of Electrical and Electronics Engineers
Library holdings: Search Newcastle University Library for this item