Referenced Items are not available for this document.
We present the design steps of the ISO Class 0 transport protocol. We apply, for this purpose our protocol synthesis algorithm. This algorithm is based on stepwise refinement of specifications written in an interpreted Petri net model. The starting point for the design is the specification of the ISO transport service. The main advantage of this design strategy is that the correctness of the designed protocol is guaranteed
Published in:
Performance, Computing, and Communications Conference, 1997. IPCCC 1997., IEEE International
Date of Conference: 5-7 Feb 1997
- Page(s):
- 363 - 370
- Meeting Date :
- 05 Feb 1997-07 Feb 1997
- Print ISBN:
- 0-7803-3873-1
- INSPEC Accession Number:
- 5671892
- Conference Location :
- Phoenix, Tempe, AZ
- Digital Object Identifier :
- 10.1109/PCCC.1997.581539
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
