{"id":"https://openalex.org/W2605582987","doi":"https://doi.org/10.1007/978-3-319-57708-1_3","title":"Instant-Based and State-Based Analysis of Infinite Logical Clock","display_name":"Instant-Based and State-Based Analysis of Infinite Logical Clock","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2605582987","doi":"https://doi.org/10.1007/978-3-319-57708-1_3","mag":"2605582987"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-57708-1_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57708-1_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5100804993","display_name":"Qingguo Xu","orcid":"https://orcid.org/0009-0005-0457-206X"},"institutions":[{"id":"https://openalex.org/I4210105460","display_name":"Shanghai Institute of Measurement and Testing Technology","ror":"https://ror.org/00zcefp03","country_code":"CN","type":"nonprofit","lineage":["https://openalex.org/I4210105460"]},{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qingguo Xu","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People\u2019s Republic of China","Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, 201114, China","School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People\u2019s Republic of China","institution_ids":["https://openalex.org/I113940042","https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, 201114, China","institution_ids":["https://openalex.org/I4210105460"]},{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People's Republic of China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103200782","display_name":"Huaikou Miao","orcid":"https://orcid.org/0000-0001-9507-5459"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I4210105460","display_name":"Shanghai Institute of Measurement and Testing Technology","ror":"https://ror.org/00zcefp03","country_code":"CN","type":"nonprofit","lineage":["https://openalex.org/I4210105460"]},{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huaikou Miao","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People\u2019s Republic of China","Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, 201114, China","School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People\u2019s Republic of China","institution_ids":["https://openalex.org/I113940042","https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, 201114, China","institution_ids":["https://openalex.org/I4210105460"]},{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, No. 99 Shangda Rd., Shanghai, 200444, People's Republic of China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103266406","display_name":"Rosaria Simone","orcid":"https://orcid.org/0000-0002-6844-6418"},"institutions":[{"id":"https://openalex.org/I4210106545","display_name":"Research Centre Inria Sophia Antipolis - M\u00e9diterran\u00e9e","ror":"https://ror.org/01nzkaw91","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Robert de Simone","raw_affiliation_strings":["INRIA Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France"],"affiliations":[{"raw_affiliation_string":"INRIA Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I4210106545","https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022201782","display_name":"Julien Deantoni","orcid":"https://orcid.org/0000-0001-6962-7846"},"institutions":[{"id":"https://openalex.org/I4210106545","display_name":"Research Centre Inria Sophia Antipolis - M\u00e9diterran\u00e9e","ror":"https://ror.org/01nzkaw91","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julien DeAntoni","raw_affiliation_strings":["INRIA Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France"],"affiliations":[{"raw_affiliation_string":"INRIA Sophia Antipolis M\u00e9diterran\u00e9e AOSTE, University of Nice Sophia Antipolis, I3S, 06902, Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I4210106545","https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100804993"],"corresponding_institution_ids":["https://openalex.org/I113940042","https://openalex.org/I141962983","https://openalex.org/I4210105460"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07628524,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"32","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.762541651725769},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6168255805969238},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5704727172851562},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5404042601585388},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5382914543151855},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5174884796142578},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5151742696762085},{"id":"https://openalex.org/keywords/instant","display_name":"Instant","score":0.5126277804374695},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.47159087657928467},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4443408250808716},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13129085302352905}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.762541651725769},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6168255805969238},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5704727172851562},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5404042601585388},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5382914543151855},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5174884796142578},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5151742696762085},{"id":"https://openalex.org/C2779432360","wikidata":"https://www.wikidata.org/wiki/Q16963779","display_name":"Instant","level":2,"score":0.5126277804374695},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.47159087657928467},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4443408250808716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13129085302352905},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-57708-1_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57708-1_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W45469007","https://openalex.org/W105975728","https://openalex.org/W131810691","https://openalex.org/W169508303","https://openalex.org/W1590675544","https://openalex.org/W1989692116","https://openalex.org/W2017863278","https://openalex.org/W2053137492","https://openalex.org/W2127335869","https://openalex.org/W2145533676","https://openalex.org/W2207342287","https://openalex.org/W2247123897","https://openalex.org/W2271800372","https://openalex.org/W2400915798","https://openalex.org/W2529333808","https://openalex.org/W2542911156","https://openalex.org/W4232784769"],"related_works":["https://openalex.org/W2356370096","https://openalex.org/W2794694000","https://openalex.org/W2094154142","https://openalex.org/W2350999733","https://openalex.org/W2392387319","https://openalex.org/W2359725054","https://openalex.org/W4287262247","https://openalex.org/W4241761658","https://openalex.org/W4287613691","https://openalex.org/W2774547058"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}