Sciweavers

Share
APN   2015 Application and Theory of Petri Nets
Wall of Fame | Most Viewed APN-2015 Paper
APN
2015
Springer
2 years 8 months ago
Validating DCCP Simultaneous Feature Negotiation Procedure
This paper investigates the feature negotiation procedure of the Datagram Congestion Control Protocol (DCCP) in RFC 4340 using Coloured Petri Nets (CPNs). After obtaining a formal ...
Somsak Vanit-Anunchai
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source73
2Download preprint from source31
3Download preprint from source30
4Download preprint from source28
5Download preprint from source27
6Download preprint from source26
7Download preprint from source26
8Download preprint from source26
9Download preprint from source26
10Download preprint from source24
11Download preprint from source23
12Download preprint from source23
13Download preprint from source22
14Download preprint from source21
15Download preprint from source21
16Download preprint from source21
17Download preprint from source20
18Download preprint from source19
19Download preprint from source19
20Download preprint from source19
21Download preprint from source19
22Download preprint from source18
23Download preprint from source18
24Download preprint from source18
25Download preprint from source17
26Download preprint from source17
27Download preprint from source17
28Download preprint from source17
29Download preprint from source16
30Download preprint from source15
31Download preprint from source15
32Download preprint from source15
33Download preprint from source15
books