{"id":"https://openalex.org/W2521752642","doi":"https://doi.org/10.1007/978-3-319-45243-2_30","title":"On Expressiveness of TCTL $$^{\\varDelta }_{h}$$ for Model Checking Distributed Systems","display_name":"On Expressiveness of TCTL $$^{\\varDelta }_{h}$$ for Model Checking Distributed Systems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2521752642","doi":"https://doi.org/10.1007/978-3-319-45243-2_30","mag":"2521752642"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-45243-2_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-45243-2_30","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/A5078933217","display_name":"Naima Jbeli","orcid":null},"institutions":[{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Naima Jbeli","raw_affiliation_strings":["\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","\u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]},{"raw_affiliation_string":"\u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013770247","display_name":"Zohra Sba\u00ef","orcid":"https://orcid.org/0000-0002-2000-4370"},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]},{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Zohra Sba\u00ef","raw_affiliation_strings":["\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","\u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]},{"raw_affiliation_string":"\u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050443319","display_name":"Rahma Ben Ayed","orcid":null},"institutions":[{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Rahma Ben Ayed","raw_affiliation_strings":["\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","\u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Nationale d\u2019Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]},{"raw_affiliation_string":"\u00c9cole Nationale d'Ing\u00e9nieurs de Tunis, Universit\u00e9 de Tunis El Manar, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082","https://openalex.org/I4210131288"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078933217"],"corresponding_institution_ids":["https://openalex.org/I108714496","https://openalex.org/I4210131288","https://openalex.org/I63596082"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.5017,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81814346,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"323","last_page":"332"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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.9984999895095825,"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.998199999332428,"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/computer-science","display_name":"Computer science","score":0.7673014998435974},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.7053241729736328},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.6978929042816162},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.683654248714447},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5621250867843628},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5494118332862854},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5449156165122986},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5184125900268555},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5088263154029846},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4921969473361969},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.0964219868183136}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7673014998435974},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.7053241729736328},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.6978929042816162},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.683654248714447},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5621250867843628},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5494118332862854},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5449156165122986},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5184125900268555},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5088263154029846},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4921969473361969},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.0964219868183136},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-45243-2_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-45243-2_30","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":[{"score":0.7400000095367432,"display_name":"Climate action","id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W137766916","https://openalex.org/W636899416","https://openalex.org/W1778175466","https://openalex.org/W1900558419","https://openalex.org/W1981808971","https://openalex.org/W1994032730","https://openalex.org/W2030263557","https://openalex.org/W2051068608","https://openalex.org/W2056081080","https://openalex.org/W2101508170","https://openalex.org/W2106692345","https://openalex.org/W2114606107","https://openalex.org/W2124778357","https://openalex.org/W2128993334","https://openalex.org/W3103084107"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W2103740034","https://openalex.org/W2350953867","https://openalex.org/W1592102986","https://openalex.org/W1998387957","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619","https://openalex.org/W2203774400"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}