{"id":"https://openalex.org/W2400437305","doi":"https://doi.org/10.1051/ita/1987210302871","title":"M\u00e9thode axiomatique sur les propri\u00e9t\u00e9s de fatalit\u00e9 des programmes parall\u00e8les","display_name":"M\u00e9thode axiomatique sur les propri\u00e9t\u00e9s de fatalit\u00e9 des programmes parall\u00e8les","publication_year":1987,"publication_date":"1987-01-01","ids":{"openalex":"https://openalex.org/W2400437305","doi":"https://doi.org/10.1051/ita/1987210302871","mag":"2400437305"},"language":"fr","primary_location":{"id":"doi:10.1051/ita/1987210302871","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1987210302871","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1987/03/ita1987210302871.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.rairo-ita.org/articles/ita/pdf/1987/03/ita1987210302871.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018322893","display_name":"Domingo Mery","orcid":"https://orcid.org/0000-0003-4748-3882"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dominique Mery","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5018322893"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5339,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.68622617,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"3","first_page":"287","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.8780999779701233,"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.8780999779701233,"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/T10496","display_name":"Pharmaceutical Practices and Patient Outcomes","score":0.8690999746322632,"subfield":{"id":"https://openalex.org/subfields/2717","display_name":"Geriatrics and Gerontology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10804","display_name":"Health Systems, Economic Evaluations, Quality of Life","score":0.8392999768257141,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.45990440249443054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3580982983112335},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.32730329036712646}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.45990440249443054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3580982983112335},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.32730329036712646}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1051/ita/1987210302871","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1987210302871","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1987/03/ita1987210302871.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},{"id":"pmh:oai:edpsciences.org:dkey/10.1051/ita/1987210302871","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400744","display_name":"Springer Link (Chiba Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I8488066","host_organization_name":"Chiba Institute of Technology","host_organization_lineage":["https://openalex.org/I8488066"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1051/ita/1987210302871","raw_type":"Text"},{"id":"pmh:oai:numdam.org:ITA_1987__21_3_287_0","is_oa":false,"landing_page_url":"https://www.numdam.org/item/ITA_1987__21_3_287_0/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1051/ita/1987210302871","is_oa":true,"landing_page_url":"https://doi.org/10.1051/ita/1987210302871","pdf_url":"https://www.rairo-ita.org/articles/ita/pdf/1987/03/ita1987210302871.pdf","source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"RAIRO - Theoretical Informatics and Applications","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/5","score":0.6100000143051147,"display_name":"Gender equality"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2400437305.pdf","grobid_xml":"https://content.openalex.org/works/W2400437305.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W15971364","https://openalex.org/W1586932402","https://openalex.org/W1798280647","https://openalex.org/W1983409972","https://openalex.org/W2023808162","https://openalex.org/W2030926579","https://openalex.org/W2039025680","https://openalex.org/W2061841985","https://openalex.org/W2073689993","https://openalex.org/W2083088701","https://openalex.org/W2123596219","https://openalex.org/W2166656159","https://openalex.org/W2695578481","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4251912342"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2748952813","https://openalex.org/W1531601525"],"abstract_inverted_index":{"de":[0,8],"ce":[1],"fichier":[2],"doit":[3],"contenir":[4],"la":[5],"prsente":[6],"mention":[7],"copyright.":[9]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}