{"id":"https://openalex.org/W2065155345","doi":"https://doi.org/10.1016/s1389-1286(03)00245-7","title":"Time consistency of MSC-2000 specifications","display_name":"Time consistency of MSC-2000 specifications","publication_year":2003,"publication_date":"2003-05-12","ids":{"openalex":"https://openalex.org/W2065155345","doi":"https://doi.org/10.1016/s1389-1286(03)00245-7","mag":"2065155345"},"language":"en","primary_location":{"id":"doi:10.1016/s1389-1286(03)00245-7","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1389-1286(03)00245-7","pdf_url":null,"source":{"id":"https://openalex.org/S63392143","display_name":"Computer Networks","issn_l":"1389-1286","issn":["1389-1286","1872-7069"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Networks","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/A5001838653","display_name":"Tong Zheng","orcid":"https://orcid.org/0000-0001-6894-3521"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Tong Zheng","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.), Canada H3G 1M8","Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.) Canada H3G 1M8#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.), Canada H3G 1M8","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.) Canada H3G 1M8#TAB#","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058304466","display_name":"Ferhat Khendek","orcid":"https://orcid.org/0000-0002-3337-9841"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Ferhat Khendek","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.), Canada H3G 1M8","Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.) Canada H3G 1M8#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.), Canada H3G 1M8","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal (P.Q.) Canada H3G 1M8#TAB#","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5058304466"],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":{"value":2370,"currency":"USD","value_usd":2370},"apc_paid":null,"fwci":3.2401,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.92209969,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"42","issue":"3","first_page":"303","last_page":"322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.8858968615531921},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8368223905563354},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5409217476844788},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.5167614817619324},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5088696479797363},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.49465319514274597},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.47151103615760803},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.44518041610717773},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.4323383867740631},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4265415668487549},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4187653958797455},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4180835783481598},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3677431344985962},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.34402602910995483},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3301982283592224},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.109591543674469},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.06247630715370178}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.8858968615531921},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8368223905563354},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5409217476844788},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.5167614817619324},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5088696479797363},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.49465319514274597},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47151103615760803},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.44518041610717773},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.4323383867740631},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4265415668487549},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4187653958797455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4180835783481598},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3677431344985962},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.34402602910995483},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3301982283592224},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.109591543674469},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.06247630715370178},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1389-1286(03)00245-7","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1389-1286(03)00245-7","pdf_url":null,"source":{"id":"https://openalex.org/S63392143","display_name":"Computer Networks","issn_l":"1389-1286","issn":["1389-1286","1872-7069"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Networks","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":19,"referenced_works":["https://openalex.org/W201628453","https://openalex.org/W1483618499","https://openalex.org/W1485432887","https://openalex.org/W1513147665","https://openalex.org/W1522145323","https://openalex.org/W1563546726","https://openalex.org/W1576138800","https://openalex.org/W1599543564","https://openalex.org/W1846147998","https://openalex.org/W1932593048","https://openalex.org/W2045048599","https://openalex.org/W2080476561","https://openalex.org/W2130182605","https://openalex.org/W2136094398","https://openalex.org/W2422272475","https://openalex.org/W2752885492","https://openalex.org/W3183881215","https://openalex.org/W4243452432","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W794225219","https://openalex.org/W2592399342","https://openalex.org/W2047524021","https://openalex.org/W2898425611","https://openalex.org/W2034589735","https://openalex.org/W2558572842","https://openalex.org/W2350068048","https://openalex.org/W2098273227","https://openalex.org/W2089702347","https://openalex.org/W4361193698"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}