{"id":"https://openalex.org/W2077829306","doi":"https://doi.org/10.1002/scj.4690191002","title":"Algebraic Specification of Parallel Systems Based on Binary Relations between Events","display_name":"Algebraic Specification of Parallel Systems Based on Binary Relations between Events","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2077829306","doi":"https://doi.org/10.1002/scj.4690191002","mag":"2077829306"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690191002","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690191002","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/A5024962148","display_name":"Shigeharu Teshima","orcid":null},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Shigeharu Teshima","raw_affiliation_strings":["Faculty of Engineering, Kyoto University, Kyoto, Japan, 606","Shigeharu Teshima received a BS degree in Information Engineering from Kyoto University in 1984 and an MS degree there in 1986. He joined the Research Center of the Toyota Co. in 1986. While he was a student he worked on operational specification of logical circuits and their verification"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyoto University, Kyoto, Japan, 606","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Shigeharu Teshima received a BS degree in Information Engineering from Kyoto University in 1984 and an MS degree there in 1986. He joined the Research Center of the Toyota Co. in 1986. While he was a student he worked on operational specification of logical circuits and their verification","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078043326","display_name":"Hiromi Hiraishi","orcid":null},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiromi Hiraishi","raw_affiliation_strings":["Faculty of Engineering, Kyoto University, Kyoto, Japan, 606","Hiromi Hiraishi received a BS degree in Electronic Engineering from Kyoto University in 1973 and an MS degree there with a minor in Electrical Engineering in 1975. His PhD also is from Kyoto University. He became an assistant in the Department of Information Engineering, Kyoto University in 1975 and a lecturer in 1984. He has been working on verification of design logics, theories on time-phase selection, CAD logical designs and computer graphics. He is a member of Society for Information Processing"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyoto University, Kyoto, Japan, 606","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Hiromi Hiraishi received a BS degree in Electronic Engineering from Kyoto University in 1973 and an MS degree there with a minor in Electrical Engineering in 1975. His PhD also is from Kyoto University. He became an assistant in the Department of Information Engineering, Kyoto University in 1975 and a lecturer in 1984. He has been working on verification of design logics, theories on time-phase selection, CAD logical designs and computer graphics. He is a member of Society for Information Processing","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054859202","display_name":"Shuzo Yajima","orcid":null},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shuzo Yajima","raw_affiliation_strings":["Faculty of Engineering, Kyoto University, Kyoto, Japan, 606","Shuzo Yajima received his BS degree in Electrical Engineering in 1956 and his PhD there in 1961 from Kyoto University. He joined the Faculty of Engineering in 1961 and became a professor in information engineering in 1971. In 1960 he was assigned to the design project of the First Large-Scale KDC-1 Computer at Kyoto University. Since then he has been working on computers, logical design and automata. He wrote \u201cCapabilities and Structures of Electronic Computers\u201d (Iwanami Book Publishing Co. Ltd. 1982). He was a Reviewer of IECEJ and Chairman of its Committee for Automata and Linguistic Research, member of the Board of Directors and Editor for the Society for Information Processing, JIP Publications and North-Holland Publications. He is a senior member of IEEE"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Kyoto University, Kyoto, Japan, 606","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Shuzo Yajima received his BS degree in Electrical Engineering in 1956 and his PhD there in 1961 from Kyoto University. He joined the Faculty of Engineering in 1961 and became a professor in information engineering in 1971. In 1960 he was assigned to the design project of the First Large-Scale KDC-1 Computer at Kyoto University. Since then he has been working on computers, logical design and automata. He wrote \u201cCapabilities and Structures of Electronic Computers\u201d (Iwanami Book Publishing Co. Ltd. 1982). He was a Reviewer of IECEJ and Chairman of its Committee for Automata and Linguistic Research, member of the Board of Directors and Editor for the Society for Information Processing, JIP Publications and North-Holland Publications. He is a senior member of IEEE","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024962148"],"corresponding_institution_ids":["https://openalex.org/I22299242"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22263844,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"10","first_page":"8","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"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.669359564781189},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.6603007316589355},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6337740421295166},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.598410964012146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5259214639663696},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4809378981590271},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.4783177673816681},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4696958065032959},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4658086895942688},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46534526348114014},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46167895197868347},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.44406041502952576},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3421139717102051},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2744559943675995},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2576785683631897}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.669359564781189},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.6603007316589355},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6337740421295166},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.598410964012146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5259214639663696},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4809378981590271},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.4783177673816681},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4696958065032959},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4658086895942688},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46534526348114014},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46167895197868347},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.44406041502952576},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3421139717102051},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2744559943675995},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2576785683631897},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690191002","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690191002","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":12,"referenced_works":["https://openalex.org/W241019236","https://openalex.org/W1489371530","https://openalex.org/W1512502927","https://openalex.org/W1936022305","https://openalex.org/W2014708482","https://openalex.org/W2028621470","https://openalex.org/W2108911687","https://openalex.org/W2110425399","https://openalex.org/W2148620491","https://openalex.org/W2899987233","https://openalex.org/W4211008702","https://openalex.org/W4300128858"],"related_works":["https://openalex.org/W2347363247","https://openalex.org/W2558572842","https://openalex.org/W2047524021","https://openalex.org/W2592399342","https://openalex.org/W794225219","https://openalex.org/W2034589735","https://openalex.org/W239966521","https://openalex.org/W2898425611","https://openalex.org/W1994284435","https://openalex.org/W3021477639"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"new":[2],"algebraic":[3],"model":[4],"is":[5,34,86,175],"proposed":[6],"for":[7],"operational":[8,62,84,117],"behavior":[9,63,85,118],"of":[10,19,45,61,69,83,91,102,116,146,153,171,182],"parallel":[11,32,103],"systems":[12],"and":[13,16,78,119,165,168],"present":[14],"syntax":[15],"formal":[17],"semantics":[18,145],"a":[20,31,51,59,89,100,124,150,179],"specification":[21,101,148,164],"language":[22],"based":[23],"on":[24,141],"it":[25,110],"are":[26,97,107,121],"presented.":[27],"In":[28,99],"our":[29],"model,":[30],"system":[33],"considered":[35,87,138],"to":[36,177],"generate":[37],"events":[38,92,154],"which":[39,93,109,155],"we":[40,65],"consider":[41],"as":[42,88,139,163],"primitive":[43],"operations":[44],"the":[46,105,130,142,147,160,172,183],"system,":[47],"not":[48],"only":[49],"in":[50,55,113,123],"sequence,":[52],"but":[53],"also":[54],"parallel.":[56],"To":[57],"characterize":[58],"history":[60,82,115],"formally,":[64],"introduce":[66],"three":[67,95,131],"types":[68],"binary":[70,132],"relations":[71,96],"between":[72],"events:":[73],"timing":[74],"relation,":[75],"causality":[76],"relation;":[77],"value":[79,167],"relation.":[80],"The":[81],"set":[90,152],"these":[94],"given.":[98],"systems,":[104],"characteristics":[106],"specified":[108],"should":[111],"satisfy":[112],"its":[114],"they":[120],"described":[122],"first\u2010order":[125],"predicate":[126],"logic":[127],"by":[128],"using":[129],"relations.":[133,143],"These":[134],"descriptions":[135],"can":[136,156],"be":[137,157,178],"axioms":[140,161],"Formal":[144],"becomes":[149],"maximal":[151],"deduced":[158],"from":[159],"given":[162],"initial":[166],"input":[169],"patterns":[170],"system.":[173],"This":[174],"proved":[176],"fix":[180],"point":[181],"deduction":[184],"step.":[185]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}