{"id":"https://openalex.org/W2295066707","doi":"https://doi.org/10.1109/5.469299","title":"Protocol pruning","display_name":"Protocol pruning","publication_year":1995,"publication_date":"1995-10-01","ids":{"openalex":"https://openalex.org/W2295066707","doi":"https://doi.org/10.1109/5.469299","mag":"2295066707"},"language":"en","primary_location":{"id":"doi:10.1109/5.469299","is_oa":false,"landing_page_url":"https://doi.org/10.1109/5.469299","pdf_url":null,"source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-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/A5109914874","display_name":"D. Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. Lee","raw_affiliation_strings":["AT and T Bell Laboratories, Inc., Murray Hill, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AT and T Bell Laboratories, Inc., Murray Hill, NJ, USA","institution_ids":["https://openalex.org/I1283103587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034100897","display_name":"Arun N. Netravali","orcid":null},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A.N. Netravali","raw_affiliation_strings":["AT and T Bell Laboratories, Inc., Murray Hill, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AT and T Bell Laboratories, Inc., Murray Hill, NJ, USA","institution_ids":["https://openalex.org/I1283103587"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074768788","display_name":"Krishan Sabnani","orcid":"https://orcid.org/0009-0006-6649-6696"},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"K.K. Sabnani","raw_affiliation_strings":["AT and T Bell Laboratories, Inc., Holmdel, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AT and T Bell Laboratories, Inc., Holmdel, NJ, USA","institution_ids":["https://openalex.org/I1283103587"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1283103587"],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":1.5744,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84109236,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"83","issue":"10","first_page":"1357","last_page":"1372"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.828170657157898},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.7707545757293701},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.6773126721382141},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49811697006225586},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.4839184880256653},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.45950835943222046},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4422440826892853},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43032246828079224},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3342587351799011},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21919319033622742},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18086132407188416}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.828170657157898},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.7707545757293701},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.6773126721382141},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49811697006225586},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.4839184880256653},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.45950835943222046},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4422440826892853},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43032246828079224},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3342587351799011},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21919319033622742},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18086132407188416},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/5.469299","is_oa":false,"landing_page_url":"https://doi.org/10.1109/5.469299","pdf_url":null,"source":{"id":"https://openalex.org/S68686220","display_name":"Proceedings of the IEEE","issn_l":"0018-9219","issn":["0018-9219","1558-2256"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1498760855","https://openalex.org/W1543281322","https://openalex.org/W1546325561","https://openalex.org/W1592836454","https://openalex.org/W1655990431","https://openalex.org/W1965028135","https://openalex.org/W1971321632","https://openalex.org/W1989427509","https://openalex.org/W1993235915","https://openalex.org/W1998104425","https://openalex.org/W2001156355","https://openalex.org/W2025970201","https://openalex.org/W2039853888","https://openalex.org/W2049229276","https://openalex.org/W2061438988","https://openalex.org/W2068201344","https://openalex.org/W2073891577","https://openalex.org/W2085849292","https://openalex.org/W2087262913","https://openalex.org/W2088184419","https://openalex.org/W2089056087","https://openalex.org/W2092680459","https://openalex.org/W2104293663","https://openalex.org/W2107453753","https://openalex.org/W2107580999","https://openalex.org/W2124158255","https://openalex.org/W2131037003","https://openalex.org/W2131101129","https://openalex.org/W2140047593","https://openalex.org/W2140537757","https://openalex.org/W2144974453","https://openalex.org/W2147573597","https://openalex.org/W2151378917","https://openalex.org/W2156184725","https://openalex.org/W2158769184","https://openalex.org/W2160282650","https://openalex.org/W2161952834","https://openalex.org/W2162578718","https://openalex.org/W2169166161","https://openalex.org/W2169372366","https://openalex.org/W2169384717","https://openalex.org/W2295505374","https://openalex.org/W2296360264","https://openalex.org/W2589217375","https://openalex.org/W2888871578","https://openalex.org/W3162318833","https://openalex.org/W4229501467","https://openalex.org/W4230038347","https://openalex.org/W4230047200","https://openalex.org/W4235416058","https://openalex.org/W4250790217","https://openalex.org/W6635368485","https://openalex.org/W6668929024","https://openalex.org/W6681558041","https://openalex.org/W6684210384"],"related_works":["https://openalex.org/W2032233321","https://openalex.org/W2388330702","https://openalex.org/W2409714959","https://openalex.org/W4298212052","https://openalex.org/W2392986374","https://openalex.org/W2107737506","https://openalex.org/W2390164899","https://openalex.org/W2740821854","https://openalex.org/W4254015142","https://openalex.org/W4392877027"],"abstract_inverted_index":{"A":[0],"communication":[1,25],"system":[2],"uses":[3],"a":[4,10,35,41,80,88,117,142],"precise":[5],"set":[6],"of":[7,45,50,90,127,145,161,191],"rules":[8],"called":[9,120],"protocol,":[11],"to":[12,47,55,92,133,172,189],"define":[13],"interactions":[14],"among":[15],"its":[16],"entities.":[17],"With":[18],"advancing":[19],"computer":[20],"transmission":[21],"and":[22,54,70,76,110,156,179,186,197,201,216],"switching":[23],"technology,":[24],"systems":[26],"are":[27],"providing":[28],"sophisticated":[29],"services":[30],"demanded":[31],"by":[32,130],"users":[33],"over":[34],"wide":[36],"area.":[37],"Protocol":[38],"standards":[39],"include":[40],"very,":[42],"large":[43,69,178],"number":[44],"options":[46],"take":[48],"care":[49],"different":[51],"service":[52],"possibilities":[53],"please":[56],"all":[57],"the":[58,62,94,100,125,128,159,162,167,184],"people":[59],"involved":[60],"in":[61,99,158],"Standards":[63],"Committees.":[64],"Consequently,":[65],"protocols":[66,95,129],"have":[67,78,96,114],"become":[68,79],"complex,":[71],"and,":[72],"therefore":[73],"their":[74],"design":[75],"analysis":[77],"formidable":[81],"task.":[82],"To":[83],"cope":[84],"with":[85],"this":[86],"problem,":[87],"variety":[89],"approaches":[91],"simplify":[93],"been":[97],"proposed":[98],"published":[101],"literature,":[102],"such":[103],"as":[104],"protocol":[105,121,163,192,194,212],"projection,":[106],"homomorphism,":[107],"selective":[108],"resolution,":[109],"many":[111],"others.":[112],"We":[113,182],"recently":[115],"developed":[116],"new":[118],"technique":[119,185,206],"pruning.":[122],"It":[123],"reduces":[124],"complexity":[126],"pruning":[131],"them":[132],"keep":[134],"only":[135],"that":[136],"part":[137],"which":[138],"is":[139],"required":[140],"for":[141,170,174,199,211],"specified":[143],"subset":[144],"services.":[146],"More":[147],"importantly,":[148],"it":[149],"takes":[150],"polynomial":[151],"(rather":[152],"than":[153],"exponential)":[154],"time":[155],"space":[157],"size":[160],"specification.":[164],"This":[165],"makes":[166],"algorithm":[168],"feasible":[169],"engineers":[171],"use":[173],"practical":[175],"problems":[176],"involving":[177],"complex":[180],"protocols.":[181,204],"describe":[183],"discuss":[187],"applications":[188],"synthesis":[190],"converters/gateways,":[193],"conformance":[195],"testing,":[196],"thinning":[198],"lightweight":[200],"high":[202],"performance":[203],"The":[205],"could":[207],"also":[208],"be":[209],"useful":[210],"implementation,":[213],"synthesis,":[214],"validation,":[215],"verification.>":[217]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2016-06-24T00:00:00"}