F. Xia and I. Clark. Complementing the role model method with petri-net techniques in studying issues of data freshness of the four slot mechanism. Technical Report CS-TR-654, Department of Computing Science, University of Newcastle, January 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Unified Approach to the Study of Asynchronous Communication.. - Clark (2000) (3 citations) Self-citation (Clark) (Correct)
....work at Newcastle University for the design of a self timed version of the algorithm was published in [XC99] The analysis of this self timed algorithm was performed by the author of this thesis. Work on the modelling of the ACM data freshness property in Petri nets has been published [XC98a, XC98b, XYC99] Work in this thesis also modi es the existing published data freshness roles [Sim92a, Sim97c] The data freshness material from Chapter 4 has also been formalized and published by Kluwer Academic in [XC00] The results from the comparison of ACM algorithms from Chapter 5 present ....
F. Xia and I.G. Clark. Complementing the role model method with Petri net techniques in studying issues of data freshness of the four-slot mechanism. Technical Report CS-TR-654, University of Newcastle upon Tyne, Computing Science, Newcastle, October 1998.
Proving the Correctness of Simpson's 4-slot ACM Using an.. - Henderson (2003) (Correct)
No context found.
F. Xia and I. Clark. Complementing the role model method with petri-net techniques in studying issues of data freshness of the four slot mechanism. Technical Report CS-TR-654, Department of Computing Science, University of Newcastle, January 1999.
Ramifications of Metastability in Bit Variables.. - Paynter, Henderson.. (2003) (Correct)
No context found.
F. Xia and I. Clark. Complementing the Role Model Method With Petri-Net Techniques in Studying Issues of Data Freshness of the Four-Slot Mechanism. Technical Report CS-TR-654, Department of Computer Science -- University of Newcastle, January 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC