{"id":"https://openalex.org/W2062436697","doi":"https://doi.org/10.1002/scj.4690190405","title":"A Validation Method for Communication Protocols Using Context\u2013Free Language Theory","display_name":"A Validation Method for Communication Protocols Using Context\u2013Free Language Theory","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2062436697","doi":"https://doi.org/10.1002/scj.4690190405","mag":"2062436697"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690190405","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690190405","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","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/A5110190606","display_name":"Kaoru Kurosawa","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kaoru Kurosawa","raw_affiliation_strings":["Graduate School at Nagatsuda, Tokyo, Institute of Technology, Yokohama, Japan 227","Kaoru Kurosawa graduated 1977 Dept. Electronic Eng., Fac. Eng., Tokyo Inst. Tech. Completed doctoral program 1982 Grad. School. Research Associate 1982, and Lecturer 1985, Tokyo Inst. Tech. Engaged in researches in multicommodity flow, adaptive signal processing, communication protocol and cryptography. Paper Award 1980 I.E.C.E., Japan and Shinohara Mem. Prize, 1985"],"affiliations":[{"raw_affiliation_string":"Graduate School at Nagatsuda, Tokyo, Institute of Technology, Yokohama, Japan 227","institution_ids":["https://openalex.org/I114531698"]},{"raw_affiliation_string":"Kaoru Kurosawa graduated 1977 Dept. Electronic Eng., Fac. Eng., Tokyo Inst. Tech. Completed doctoral program 1982 Grad. School. Research Associate 1982, and Lecturer 1985, Tokyo Inst. Tech. Engaged in researches in multicommodity flow, adaptive signal processing, communication protocol and cryptography. Paper Award 1980 I.E.C.E., Japan and Shinohara Mem. Prize, 1985","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068186768","display_name":"Yoshiki Kuwabara","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshiki Kuwabara","raw_affiliation_strings":["Faculty of Engineering, Tokyo Institute of Technology, Tokyo, Japan 152","Yoshiki Kuwahara graduated 1986 Dept. Inf. Eng., Fac. Eng., Tokyo Inst. Tech. and admitted to Grad. School. Presently, Grad. Student in Master's program. Engaged in researches on communication protocol"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Tokyo Institute of Technology, Tokyo, Japan 152","institution_ids":["https://openalex.org/I114531698"]},{"raw_affiliation_string":"Yoshiki Kuwahara graduated 1986 Dept. Inf. Eng., Fac. Eng., Tokyo Inst. Tech. and admitted to Grad. School. Presently, Grad. Student in Master's program. Engaged in researches on communication protocol","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112674799","display_name":"Takashi Shigeno","orcid":null},"institutions":[{"id":"https://openalex.org/I65143321","display_name":"Hitachi (Japan)","ror":"https://ror.org/02exqgm79","country_code":"JP","type":"company","lineage":["https://openalex.org/I65143321"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takashi Shigeno","raw_affiliation_strings":["Associate Member Kanagawa Works, Hitachi, Ltd., Hatano, Japan 259\u201313","Takeshi Shigeno graduated 1982 Dept. Electrical Eng., Kashiwazaki Tech. Coll., and affiliated with Hitachi Ltd. gaged in researches on communication protocol as a Research Assistant Tokyo Inst. Tech. from 1985 to 1986. Graduated 1985 Hitachi Keihin Tech. Coll., Dept. Electronic Eng. En-Presently, engaged in design of RDB system at Hitachi Kanagawa Works"],"affiliations":[{"raw_affiliation_string":"Associate Member Kanagawa Works, Hitachi, Ltd., Hatano, Japan 259\u201313","institution_ids":["https://openalex.org/I65143321"]},{"raw_affiliation_string":"Takeshi Shigeno graduated 1982 Dept. Electrical Eng., Kashiwazaki Tech. Coll., and affiliated with Hitachi Ltd. gaged in researches on communication protocol as a Research Assistant Tokyo Inst. Tech. from 1985 to 1986. Graduated 1985 Hitachi Keihin Tech. Coll., Dept. Electronic Eng. En-Presently, engaged in design of RDB system at Hitachi Kanagawa Works","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110190606"],"corresponding_institution_ids":["https://openalex.org/I114531698"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19753876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"4","first_page":"48","last_page":"55"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"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/deadlock","display_name":"Deadlock","score":0.8400751352310181},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7932827472686768},{"id":"https://openalex.org/keywords/converse","display_name":"Converse","score":0.7709774374961853},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5887314081192017},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5555126667022705},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5535611510276794},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5136391520500183},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5041409730911255},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4652239978313446},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.46323129534721375},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4349902272224426},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.4149729609489441},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3952089548110962},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3668903112411499},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2601638436317444},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.215274840593338}],"concepts":[{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.8400751352310181},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7932827472686768},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.7709774374961853},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5887314081192017},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5555126667022705},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5535611510276794},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5136391520500183},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5041409730911255},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4652239978313446},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.46323129534721375},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4349902272224426},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.4149729609489441},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3952089548110962},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3668903112411499},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2601638436317444},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.215274840593338},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690190405","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690190405","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1979799094","https://openalex.org/W6645275246"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W4226119751","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W2001478969","https://openalex.org/W1900787600","https://openalex.org/W2136552483","https://openalex.org/W2166954426","https://openalex.org/W4383684213","https://openalex.org/W2045082154"],"abstract_inverted_index":{"Abstract":[0],"Usually,":[1],"communication":[2,8,84],"protocols":[3],"are":[4,53],"modelled":[5],"as":[6],"a":[7,24,43,55,66,91,99,111],"between":[9],"two":[10],"finite\u2010state":[11,29],"machines.":[12],"Yu":[13],"and":[14,27],"Gouda":[15],"[1]":[16],"have":[17,31],"shown":[18],"that":[19,49,82],"if":[20,50,70],"the":[21,28,35,51,58,83,102,108,118,130],"messages":[22,52,109],"of":[23,37,54,60],"single":[25,56,112],"type":[26],"machine":[30],"no":[32,114],"mixed":[33,74],"nodes,":[34],"verification":[36,59],"deadlock":[38,61,88,100,115],"can":[39,62],"be":[40,63],"made":[41,64],"in":[42,65,101,117,132],"polynomial":[44,67],"time.":[45],"This":[46],"paper":[47,134],"shows":[48],"type,":[57,113],"time,":[68],"even":[69],"there":[71,95],"does":[72,96],"exist":[73,98],"nodes.":[75],"The":[76],"proof":[77],"is":[78,123,135],"derived":[79],"by":[80,105],"indicating":[81],"sequences":[85],"arriving":[86],"at":[87],"states":[89],"form":[90],"context\u2010free":[92],"language.":[93],"If":[94],"not":[97,124],"protocol":[103,120],"obtained":[104],"converting":[106],"all":[107],"into":[110],"exists":[116],"original":[119],"(the":[121],"converse":[122],"always":[125],"true).":[126],"In":[127],"this":[128,133],"sense,":[129],"result":[131],"important.":[136]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}