{"id":"https://openalex.org/W1980824962","doi":"https://doi.org/10.1007/978-3-642-19835-9_33","title":"CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes","display_name":"CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1980824962","doi":"https://doi.org/10.1007/978-3-642-19835-9_33","mag":"1980824962"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-19835-9_33","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-19835-9_33","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_33.pdf","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":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_33.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022400989","display_name":"Hubert Garavel","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"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":true,"raw_author_name":"Hubert Garavel","raw_affiliation_strings":["INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France"],"affiliations":[{"raw_affiliation_string":"INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075433817","display_name":"Fr\u00e9d\u00e9ric Lang","orcid":"https://orcid.org/0000-0002-5221-3353"},"institutions":[{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"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":"Fr\u00e9d\u00e9ric Lang","raw_affiliation_strings":["INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France"],"affiliations":[{"raw_affiliation_string":"INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109230703","display_name":"Radu Mateescu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"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":"Radu Mateescu","raw_affiliation_strings":["INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France"],"affiliations":[{"raw_affiliation_string":"INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022335982","display_name":"Wendelin Serwe","orcid":null},"institutions":[{"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"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Wendelin Serwe","raw_affiliation_strings":["INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France"],"affiliations":[{"raw_affiliation_string":"INRIA Laboratoire d\u2019Informatique de Grenoble, VASY team, 655, avenue de l\u2019Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"INRIA Laboratoire d'Informatique de Grenoble, VASY team, 655, avenue de l'Europe, 38330, Montbonnot St Martin, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022400989"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":61.7739,"has_fulltext":true,"cited_by_count":146,"citation_normalized_percentile":{"value":0.9996853,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"372","last_page":"387"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9984999895095825,"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.998199999332428,"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/toolbox","display_name":"Toolbox","score":0.9089144468307495},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8377544283866882},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7220430374145508},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6961241960525513},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6518437266349792},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6212970018386841},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5044468641281128},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4799123704433441},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4041261672973633},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34969863295555115}],"concepts":[{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.9089144468307495},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8377544283866882},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7220430374145508},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6961241960525513},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6518437266349792},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6212970018386841},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5044468641281128},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4799123704433441},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4041261672973633},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34969863295555115}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-19835-9_33","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-19835-9_33","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_33.pdf","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":{"id":"doi:10.1007/978-3-642-19835-9_33","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-19835-9_33","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-19835-9_33.pdf","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"},"sustainable_development_goals":[{"score":0.6000000238418579,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320325794","display_name":"Conseil G\u00e9n\u00e9ral de l'Is\u00e8r","ror":null},{"id":"https://openalex.org/F4320338463","display_name":"CHIST-ERA","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1980824962.pdf","grobid_xml":"https://content.openalex.org/works/W1980824962.grobid-xml"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W401308672","https://openalex.org/W1483422122","https://openalex.org/W1492683468","https://openalex.org/W1493916325","https://openalex.org/W1495079723","https://openalex.org/W1499481996","https://openalex.org/W1503429725","https://openalex.org/W1506127417","https://openalex.org/W1507281497","https://openalex.org/W1516139305","https://openalex.org/W1522479539","https://openalex.org/W1526785305","https://openalex.org/W1550163465","https://openalex.org/W1556566737","https://openalex.org/W1569203277","https://openalex.org/W1573853539","https://openalex.org/W1584851823","https://openalex.org/W1587066064","https://openalex.org/W1596931967","https://openalex.org/W1597655219","https://openalex.org/W1605031929","https://openalex.org/W1624945350","https://openalex.org/W1711877719","https://openalex.org/W1795391326","https://openalex.org/W1830954042","https://openalex.org/W1856391849","https://openalex.org/W1933722645","https://openalex.org/W1943502734","https://openalex.org/W1971107784","https://openalex.org/W1980377655","https://openalex.org/W1982254742","https://openalex.org/W1990968526","https://openalex.org/W1996242413","https://openalex.org/W2011368057","https://openalex.org/W2026591657","https://openalex.org/W2050872276","https://openalex.org/W2060910670","https://openalex.org/W2075272319","https://openalex.org/W2094220291","https://openalex.org/W2107482622","https://openalex.org/W2113227344","https://openalex.org/W2115409762","https://openalex.org/W2133518376","https://openalex.org/W2136877520","https://openalex.org/W2145092620","https://openalex.org/W2160181753","https://openalex.org/W2171593250","https://openalex.org/W2245169444","https://openalex.org/W2491539874","https://openalex.org/W2495633561","https://openalex.org/W2502992539","https://openalex.org/W2561675875","https://openalex.org/W2756011084","https://openalex.org/W2995900119","https://openalex.org/W3016163793","https://openalex.org/W4213162049","https://openalex.org/W6811732728"],"related_works":["https://openalex.org/W2068663075","https://openalex.org/W2978678743","https://openalex.org/W2797837731","https://openalex.org/W2150344375","https://openalex.org/W829257147","https://openalex.org/W3081389670","https://openalex.org/W4390832911","https://openalex.org/W4385302116","https://openalex.org/W3044929382","https://openalex.org/W2470346431"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":16},{"year":2014,"cited_by_count":22},{"year":2013,"cited_by_count":28},{"year":2012,"cited_by_count":27}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}