A Formal Service Specification for the Internet Open Trading Protocol-Reference-Cited by-同舟云学术

A Formal Service Specification for the Internet Open Trading Protocol

Published:2002 Issue: Volume: Page:352-373
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 2002
language:
Short-container-title:

Author:

Ouyang Chun,Kristensen Lars Michael,Billington Jonathan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48068-4_21

Reference28 articles.

1. ITU-T Recommendation X.210, Information Technology-Open Systems Interaction-Basic Reference Model: Conventions For The Definition of OSI Services, November 1993.

2. ITU-T Recommendation X.214, Information Technology-Open Systems Interconnection-Transport Service Definition, November 1995.

3. AT&T. FSM Library. URL: http://www.research.att.com/sw/tools/fsm .

4. J. Billington. Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. In Protocol Specification, Testing, and Verification, III, pages 173–185. Elsevier Science Publishers, 1983.

5. J. Billington. Formal Specification of Protocols: Protocol Engineering. In Encyclopedia of Microcomputers, pages 299–314. Marcel Dekker, New York, 1991.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Applications of Coloured Petri Nets for Functional Validation of Protocol Designs;Transactions on Petri Nets and Other Models of Concurrency VII;2013

2. A Coloured Petri Net Approach to Protocol Verification;Lectures on Concurrency and Petri Nets;2004

3. Formal Analysis of the Internet Open Trading Protocol;Lecture Notes in Computer Science;2004

4. On Verifying the Internet Open Trading Protocol;E-Commerce and Web Technologies;2003