Lookup NU author(s): Dr Fei Xia
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automatic ACM synthesis methods have been proposed. However, problems remain unresolved with the most asynchronous type of ACMs, the overwriting and rereading bounded buffer (OWRRBB), especially with buffer sizes greater than one. In this work, a method of systematic modeling and verification of multi-cell OWRRBBs is presented. This method supports the study of these kinds of ACMs with regard to vital data and temporal characteristics. © 2008 IEEE.
Author(s): Gorgonio K, Xia F
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Proceedings of the 8th International Conference on Application of Concurrency to System Design, ACSD
Year of Conference: 2008
Library holdings: Search Newcastle University Library for this item