Parameterised Coloured Petri Net Channel Models-Reference-Cited by-同舟云学术

Parameterised Coloured Petri Net Channel Models

Published:2009 Issue: Volume: Page:71-97
ISSN:0302-9743
Container-title:Transactions on Petri Nets and Other Models of Concurrency III
language:
Short-container-title:

Author:

Billington Jonathan,Vanit-Anunchai Somsak,Gallasch Guy E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04856-2_4.pdf

Reference38 articles.

1. Billington, J.: Extensions to Coloured Petri Nets and their Application to Protocols. PhD thesis, University of Cambridge, Computer Laboratory (May 1990);

2. Published as Technical Report No. 222 (May 1991)

3. Lecture Notes in Computer Science;J. Billington,2003

4. Lecture Notes in Computer Science;J. Billington,2004

5. Billington, J., Han, B.: Formalising TCP’s Data Transfer Service Language: A Symbolic Automaton and its Properties. Fundamenta Informaticae 80(1-3), 49–74 (2007)

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

1. Validating DCCP Simultaneous-Open and Feature Negotiation Procedures;IEICE Transactions on Information and Systems;2017

2. Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem;Application and Theory of Petri Nets and Concurrency;2017

3. Validating DCCP Simultaneous Feature Negotiation Procedure;Transactions on Petri Nets and Other Models of Concurrency XI;2016

4. Conclusions and Future Work;SpringerBriefs in Electrical and Computer Engineering;2016

5. Application Example;SpringerBriefs in Electrical and Computer Engineering;2016