{"id":"https://openalex.org/W2163278739","doi":"https://doi.org/10.1109/dnsr.2004.1344723","title":"Petri net approach to improving SACK TCP resilience","display_name":"Petri net approach to improving SACK TCP resilience","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2163278739","doi":"https://doi.org/10.1109/dnsr.2004.1344723","mag":"2163278739"},"language":"en","primary_location":{"id":"doi:10.1109/dnsr.2004.1344723","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dnsr.2004.1344723","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. Second Annual Conference on Communication Networks and Services Research, 2004.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033658029","display_name":"Qiang Ye","orcid":"https://orcid.org/0000-0001-6711-7818"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Qiang Ye","raw_affiliation_strings":["Department of Computing Science, University of Alberta, Edmonton, AB, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Alberta, Edmonton, AB, Canada","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029371742","display_name":"M.H. MacGregor","orcid":"https://orcid.org/0000-0002-2381-1290"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"M.H. MacGregor","raw_affiliation_strings":["Department of Computing Science, University of Alberta, Edmonton, AB, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Alberta, Edmonton, AB, Canada","institution_ids":["https://openalex.org/I154425047"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033658029"],"corresponding_institution_ids":["https://openalex.org/I154425047"],"apc_list":null,"apc_paid":null,"fwci":0.6953,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77844959,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"146","last_page":"155"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10847","display_name":"Advanced Optical Network Technologies","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sack","display_name":"Sack","score":0.8890490531921387},{"id":"https://openalex.org/keywords/zeta-tcp","display_name":"Zeta-TCP","score":0.8498638868331909},{"id":"https://openalex.org/keywords/tcp-global-synchronization","display_name":"TCP global synchronization","score":0.8064145445823669},{"id":"https://openalex.org/keywords/tcp-acceleration","display_name":"TCP acceleration","score":0.8020105361938477},{"id":"https://openalex.org/keywords/tcp-friendly-rate-control","display_name":"TCP Friendly Rate Control","score":0.7240840792655945},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7114091515541077},{"id":"https://openalex.org/keywords/compound-tcp","display_name":"Compound TCP","score":0.648772120475769},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.6268779635429382},{"id":"https://openalex.org/keywords/tcp-tuning","display_name":"TCP tuning","score":0.5298811197280884},{"id":"https://openalex.org/keywords/tcp-hole-punching","display_name":"TCP hole punching","score":0.48975205421447754},{"id":"https://openalex.org/keywords/cubic-tcp","display_name":"CUBIC TCP","score":0.448272705078125},{"id":"https://openalex.org/keywords/tcp-westwood-plus","display_name":"TCP Westwood plus","score":0.4472009539604187},{"id":"https://openalex.org/keywords/tcp-delayed-acknowledgment","display_name":"TCP delayed acknowledgment","score":0.42137858271598816},{"id":"https://openalex.org/keywords/transmission-control-protocol","display_name":"Transmission Control Protocol","score":0.38999953866004944},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3314182758331299},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12883871793746948}],"concepts":[{"id":"https://openalex.org/C2781338159","wikidata":"https://www.wikidata.org/wiki/Q2210774","display_name":"Sack","level":2,"score":0.8890490531921387},{"id":"https://openalex.org/C30305156","wikidata":"https://www.wikidata.org/wiki/Q8069697","display_name":"Zeta-TCP","level":4,"score":0.8498638868331909},{"id":"https://openalex.org/C162030245","wikidata":"https://www.wikidata.org/wiki/Q2383755","display_name":"TCP global synchronization","level":4,"score":0.8064145445823669},{"id":"https://openalex.org/C101452262","wikidata":"https://www.wikidata.org/wiki/Q7669757","display_name":"TCP acceleration","level":4,"score":0.8020105361938477},{"id":"https://openalex.org/C30838235","wikidata":"https://www.wikidata.org/wiki/Q7669749","display_name":"TCP Friendly Rate Control","level":4,"score":0.7240840792655945},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7114091515541077},{"id":"https://openalex.org/C35758530","wikidata":"https://www.wikidata.org/wiki/Q5156832","display_name":"Compound TCP","level":5,"score":0.648772120475769},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6268779635429382},{"id":"https://openalex.org/C120837960","wikidata":"https://www.wikidata.org/wiki/Q7669763","display_name":"TCP tuning","level":4,"score":0.5298811197280884},{"id":"https://openalex.org/C190362163","wikidata":"https://www.wikidata.org/wiki/Q7669759","display_name":"TCP hole punching","level":5,"score":0.48975205421447754},{"id":"https://openalex.org/C140349481","wikidata":"https://www.wikidata.org/wiki/Q4035697","display_name":"CUBIC TCP","level":5,"score":0.448272705078125},{"id":"https://openalex.org/C178127533","wikidata":"https://www.wikidata.org/wiki/Q7669752","display_name":"TCP Westwood plus","level":5,"score":0.4472009539604187},{"id":"https://openalex.org/C79356670","wikidata":"https://www.wikidata.org/wiki/Q3661409","display_name":"TCP delayed acknowledgment","level":5,"score":0.42137858271598816},{"id":"https://openalex.org/C33588617","wikidata":"https://www.wikidata.org/wiki/Q8803","display_name":"Transmission Control Protocol","level":3,"score":0.38999953866004944},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3314182758331299},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12883871793746948},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dnsr.2004.1344723","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dnsr.2004.1344723","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. Second Annual Conference on Communication Networks and Services Research, 2004.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W176303523","https://openalex.org/W432429310","https://openalex.org/W1561267729","https://openalex.org/W2021512083","https://openalex.org/W2139378549","https://openalex.org/W2142442558","https://openalex.org/W2152662290","https://openalex.org/W2153486199","https://openalex.org/W4230253403","https://openalex.org/W4231119717","https://openalex.org/W4234789332","https://openalex.org/W4285719527","https://openalex.org/W4302386942"],"related_works":["https://openalex.org/W2086854642","https://openalex.org/W2089118982","https://openalex.org/W2045328062","https://openalex.org/W2120177257","https://openalex.org/W1570857383","https://openalex.org/W2056272558","https://openalex.org/W2141351043","https://openalex.org/W2333881601","https://openalex.org/W2170915636","https://openalex.org/W2030866521"],"abstract_inverted_index":{"The":[0,14],"transmission":[1,43],"control":[2],"protocol":[3],"(TCP)":[4],"was":[5,21],"designed":[6,22],"to":[7,23],"provide":[8],"a":[9,76],"reliable":[10],"end-to-end":[11],"network":[12],"connection.":[13],"most":[15],"up-to-date":[16],"TCP":[17,50,79,96,106],"version,":[18],"SACK":[19,49,95],"TCP,":[20],"be":[24,68],"capable":[25],"of":[26,84],"surviving":[27],"multiple":[28],"segment":[29],"loss.":[30],"However,":[31],"it":[32,55],"has":[33],"been":[34],"found":[35],"that":[36,59,80,102,111],"if":[37,48],"too":[38],"many":[39],"segments":[40,86],"in":[41,78,108],"one":[42],"window":[44],"are":[45,114],"lost,":[46],"even":[47],"transitions":[51],"into":[52],"fast":[53],"recovery,":[54],"is":[56,121],"still":[57],"possible":[58],"timeout":[60],"will":[61,67],"finally":[62],"occur":[63],"and":[64,99,116],"the":[65,82,93,109,117,125],"performance":[66],"degraded":[69],"significantly.":[70],"In":[71],"this":[72,103],"paper":[73],"we":[74],"propose":[75],"change":[77,104],"decreases":[81],"impact":[83],"lost":[85],"by":[87],"at":[88],"least":[89],"75%.":[90],"We":[91],"modeled":[92],"improved":[94],"with":[97],"Design/CPN":[98],"verified":[100],"formally":[101],"leaves":[105],"\"correct\"":[107],"sense":[110],"all":[112],"states":[113],"bounded":[115],"desired":[118],"final":[119],"state":[120],"always":[122],"reachable":[123],"from":[124],"initial":[126],"state.":[127]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}