Toggle Main Menu Toggle Search

Open Access padlockePrints

Asynchronous Data Path Models

Lookup NU author(s): Dr Danil Sokolov, Ivan Poliakov, 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.

Publication metadata

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

Pages: 197-210

Publisher: Institute of Electrical and Electronics Engineers


DOI: 10.1109/ACSD.2007.45

Library holdings: Search Newcastle University Library for this item

ISBN: 076952902X