{"id":"https://openalex.org/W2084519943","doi":"https://doi.org/10.1002/scj.4690271004","title":"A phase connection method for communication protocols","display_name":"A phase connection method for communication protocols","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2084519943","doi":"https://doi.org/10.1002/scj.4690271004","mag":"2084519943"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690271004","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690271004","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/A5111845741","display_name":"Tetsuo Sano","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099199","display_name":"\u00c9cole des Hautes \u00c9tudes Commerciales","ror":"https://ror.org/00ychtq28","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210099199"]},{"id":"https://openalex.org/I4210120668","display_name":"Creative Commons","ror":"https://ror.org/02ed4cj64","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210120668"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP","MA","US"],"is_corresponding":true,"raw_author_name":"Tetsuo Sano","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","Presently with NTT Inf. Comm. Lab","Tetsuo Sano:  graduated in 1992 from the Dept. Inf., Osaka Univ., where he received his Master's degree in 1994. At present, he is with IIT Inf. Comm. Lab. As a graduate student he engaged in research on communication protocol verification. His current research is on protocol design for multimedia high-speed communication"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Presently with NTT Inf. Comm. Lab","institution_ids":["https://openalex.org/I4210120668"]},{"raw_affiliation_string":"Tetsuo Sano:  graduated in 1992 from the Dept. Inf., Osaka Univ., where he received his Master's degree in 1994. At present, he is with IIT Inf. Comm. Lab. As a graduate student he engaged in research on communication protocol verification. His current research is on protocol design for multimedia high-speed communication","institution_ids":["https://openalex.org/I4210099199"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112642903","display_name":"Masahiro Higuchi","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Higuchi","raw_affiliation_strings":["Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","Masahim Higuchi:  graduated in 1983 from the Dept. Inf., Osaka Univ., where he received his Master's degree in 1985 and his Dr. of Eng. degree later. He was with Fujitsu Lab. from 1985 to 1990. At present, he is an Assistant Professor, Dept. Inf., Osaka Univ. He is engaged in research on design, verification and testing of parallel system, such as communication protocol, by formal methods"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Osaka University, Toyonaka, Japan 560","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Masahim Higuchi:  graduated in 1983 from the Dept. Inf., Osaka Univ., where he received his Master's degree in 1985 and his Dr. of Eng. degree later. He was with Fujitsu Lab. from 1985 to 1990. At present, he is an Assistant Professor, Dept. Inf., Osaka Univ. He is engaged in research on design, verification and testing of parallel system, such as communication protocol, by formal methods","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018228908","display_name":"Hiroyuki Seki","orcid":"https://orcid.org/0000-0003-2001-7507"},"institutions":[{"id":"https://openalex.org/I75917431","display_name":"Nara Institute of Science and Technology","ror":"https://ror.org/05bhada84","country_code":"JP","type":"education","lineage":["https://openalex.org/I75917431"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroyuki Seki","raw_affiliation_strings":["Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma, Japan 630","Himyuki Seki:  graduated in 1982 from the Dept. Inf., Osaka Univ., where he received his Dr. of Eng. degree in 1987. He was a Research Associate in 1987, Lecturer in 1990, and Assoc. Prof. in 1992 in the Dept. Inf., Osaka Univ. At present, he is an Assoc. Prof. Inf. Sci., Nara Inst. Sci. Tech. Dr. Seki is engaged in research on theory of formal language and formal methods in software engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma, Japan 630","institution_ids":["https://openalex.org/I75917431"]},{"raw_affiliation_string":"Himyuki Seki:  graduated in 1982 from the Dept. Inf., Osaka Univ., where he received his Dr. of Eng. degree in 1987. He was a Research Associate in 1987, Lecturer in 1990, and Assoc. Prof. in 1992 in the Dept. Inf., Osaka Univ. At present, he is an Assoc. Prof. Inf. Sci., Nara Inst. Sci. Tech. Dr. Seki is engaged in research on theory of formal language and formal methods in software engineering","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108359594","display_name":"Tadao Kasami","orcid":null},"institutions":[{"id":"https://openalex.org/I75917431","display_name":"Nara Institute of Science and Technology","ror":"https://ror.org/05bhada84","country_code":"JP","type":"education","lineage":["https://openalex.org/I75917431"]},{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tadao Kasami","raw_affiliation_strings":["Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma, Japan 630","Tadao fisami:  graduated in 1958 from the Dept. Comm., Osaka Univ., where he received his Ph.D. degree in 1963. He. was an Assoc. Prof. in 1963 in the Dept. Electronic Eng., Prof. in the Dept. Contr. in 1966, Prof. in the Dept. Id. in 1970, Osaka Univ., and Emeritus Professor in 1994 at Osaka Univ. At present, Prof. at Nara Inst. Sci. Tech. IEEE Life Fellow"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science, Nara Institute of Science and Technology, Ikoma, Japan 630","institution_ids":["https://openalex.org/I75917431"]},{"raw_affiliation_string":"Tadao fisami:  graduated in 1958 from the Dept. Comm., Osaka Univ., where he received his Ph.D. degree in 1963. He. was an Assoc. Prof. in 1963 in the Dept. Electronic Eng., Prof. in the Dept. Contr. in 1966, Prof. in the Dept. Id. in 1970, Osaka Univ., and Emeritus Professor in 1994 at Osaka Univ. At present, Prof. at Nara Inst. Sci. Tech. IEEE Life Fellow","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5111845741"],"corresponding_institution_ids":["https://openalex.org/I4210099199","https://openalex.org/I4210120668","https://openalex.org/I98285908"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16257545,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"10","first_page":"33","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"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"}},{"id":"https://openalex.org/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9923999905586243,"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/T10142","display_name":"Formal Methods in Verification","score":0.9914000034332275,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.8181893825531006},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7985720634460449},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6621652841567993},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.5899198651313782},{"id":"https://openalex.org/keywords/phase","display_name":"Phase (matter)","score":0.4992194175720215},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.45597633719444275},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.438035249710083},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3772536516189575},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3543493151664734},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35112637281417847},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3442666828632355},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20412445068359375}],"concepts":[{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.8181893825531006},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7985720634460449},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6621652841567993},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.5899198651313782},{"id":"https://openalex.org/C44280652","wikidata":"https://www.wikidata.org/wiki/Q104837","display_name":"Phase (matter)","level":2,"score":0.4992194175720215},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.45597633719444275},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.438035249710083},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3772536516189575},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3543493151664734},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35112637281417847},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3442666828632355},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20412445068359375},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"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/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690271004","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690271004","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W178633364","https://openalex.org/W2039437255","https://openalex.org/W2039853888","https://openalex.org/W2044311901","https://openalex.org/W2165701884","https://openalex.org/W4251659221"],"related_works":["https://openalex.org/W4388335561","https://openalex.org/W2970530566","https://openalex.org/W2967478618","https://openalex.org/W4385009901","https://openalex.org/W4385572700","https://openalex.org/W4307309205","https://openalex.org/W4288261899","https://openalex.org/W587735977","https://openalex.org/W2997152889","https://openalex.org/W1978142926"],"abstract_inverted_index":{"Abstract":[0],"As":[1],"one":[2,118],"of":[3,36,68,83,119],"the":[4,46,58,66,69,87,101,104,113,120],"methods":[5],"to":[6,99],"define":[7,100],"a":[8,19,25,53,79],"large\u2010scale":[9],"protocol":[10,47,102,121],"by":[11,108],"combining":[12],"multiple":[13],"subprotocols,":[14],"Chow":[15],"et":[16],"al.":[17],"proposed":[18,89],"method":[20,35,82,88],"in":[21,90,117],"which":[22],"protocols":[23],"satisfying":[24],"certain":[26],"condition":[27],"called":[28],"phase":[29,84],"are":[30,43],"serially":[31],"connected.":[32],"In":[33],"their":[34],"connection,":[37],"however,":[38],"two":[39,75,110],"conditions":[40],"for":[41,97],"connection":[42],"imposed:":[44],"1)":[45],"machine":[48],"should":[49,61],"be":[50,63],"modeled":[51],"as":[52],"finite\u2010state":[54],"machine;":[55],"and":[56,77],"2)":[57],"two\u2010way":[59],"channels":[60],"both":[62],"empty":[64],"at":[65],"termination":[67],"phase.":[70],"This":[71],"paper":[72],"relaxes":[73],"those":[74],"constraints,":[76],"proposes":[78],"more":[80],"general":[81],"connection.":[85],"Using":[86],"this":[91],"paper,":[92],"it":[93],"is":[94,115],"made":[95],"possible,":[96],"example,":[98],"containing":[103],"token":[105,114],"passing":[106],"control":[107],"connecting":[109],"phases,":[111],"where":[112],"fixed":[116],"machines.":[122]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}